BibTeX records: Loïc Thierry

download as .bib file

@inproceedings{DBLP:conf/iceccs/ThierryJHB23,
  author       = {Lo{\"{\i}}c Thierry and
                  Jason Jaskolka and
                  Brahim Hamid and
                  Jean{-}Paul Bodeveix},
  editor       = {Yamine A{\"{\i}}t{-}Ameur and
                  Ferhat Khendek and
                  Dominique M{\'{e}}ry},
  title        = {Specification and Verification of Communication Paradigms for {CBSE}
                  in Event {B}},
  booktitle    = {27th International Conference on Engineering of Complex Computer Systems,
                  {ICECCS} 2023, Toulouse, France, June 14-16, 2023},
  pages        = {157--166},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ICECCS59891.2023.00028},
  doi          = {10.1109/ICECCS59891.2023.00028},
  timestamp    = {Fri, 15 Dec 2023 07:44:32 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/ThierryJHB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pkc/ClavierFTP12,
  author       = {Christophe Clavier and
                  Benoit Feix and
                  Lo{\"{\i}}c Thierry and
                  Pascal Paillier},
  editor       = {Marc Fischlin and
                  Johannes Buchmann and
                  Mark Manulis},
  title        = {Generating Provable Primes Efficiently on Embedded Devices},
  booktitle    = {Public Key Cryptography - {PKC} 2012 - 15th International Conference
                  on Practice and Theory in Public Key Cryptography, Darmstadt, Germany,
                  May 21-23, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7293},
  pages        = {372--389},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-30057-8\_22},
  doi          = {10.1007/978-3-642-30057-8\_22},
  timestamp    = {Mon, 16 Nov 2020 15:55:52 +0100},
  biburl       = {https://dblp.org/rec/conf/pkc/ClavierFTP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics