@inproceedings(Borrione-Boubekeur-Mounier-et-al-06, author = {Dominique Borrione and Menouer Boubekeur and Laurent Mounier and Marc Renaudin and Antoine Sirianni}, year = {2006}, title = {{Validation of Asynchronous Circuit Specifications using IF/CADP}}, booktitle = {VLSI-SOC: From Systems to Chip, Selected papers from the IFIP Conference on Very Large Scale Integration of System-on-Chip (VLSI-SoC'03)}, volume = {200}, publisher = {International Federation for Information Processing}, pages = {85--100}, doi = {10.1007/0-387-33403-3_6}, ) @inproceedings(Bozga-Fernandez-Ghirvu-et-al-99-a, author = {Marius Bozga and Jean-Claude Fernandez and Lucian Ghirvu and Susanne Graf and Jean-Pierre Krimm and Laurent Mounier}, year = {1999}, title = {IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems}, booktitle = {Proceedings of World Congress on Formal Methods in the Development of Computing Systems (FM'99), Toulouse, France}, publisher = {Springer Verlag}, doi = {10.1007/3-540-48119-2_19}, ) @unpublished(Champelovier-Clerc-Garavel-et-al-10-v6.3, author = {David Champelovier and Xavier Clerc and Hubert Garavel and Yves Guerte and Christine McKinty and Vincent Powazny and Fr\'ed\'eric Lang and Wendelin Serwe and Gideon Smeding}, year = {2015}, title = {{Reference Manual of the LNT to LOTOS Translator (Version 6.3)}}, url = {http://cadp.inria.fr/publications/Champelovier-Clerc-Garavel-et-al-10.html}, note = {{INRIA/VASY} and {INRIA/CONVECS}, 135 pages}, ) @techreport(EMV-4.3, author = {EMVCo}, year = {2011}, title = {{EMV} Specification 4.3, Book~2, Security and Key Management}, type = {Technical Report}, ) @article(Garavel-15-b, author = {Hubert Garavel}, year = {2015}, title = {{Revisiting Sequential Composition in Process Calculi}}, journal = {Journal of Logical and Algebraic Methods in Programming}, volume = {84}, number = {6}, pages = {742--762}, doi = {10.1016/j.jlamp.2015.08.001}, ) @inproceedings(Garavel-Lang-01, author = {Hubert Garavel and Fr\'ed\'eric Lang}, year = {2001}, title = {{SVL: a Scripting Language for Compositional Verification}}, booktitle = {Proceedings of the 21st IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'01), Cheju Island, Korea}, publisher = {Kluwer Academic Publishers}, pages = {377--392}, doi = {10.1007/0-306-47003-9_24}, url = {http://cadp.inria.fr/publications/Garavel-Lang-01.html}, ) @article(Garavel-Lang-Mateescu-15, author = {Hubert Garavel and Fr\'ed\'eric Lang and Radu Mateescu}, year = {2015}, title = {{Compositional Verification of Asynchronous Concurrent Systems Using CADP}}, journal = {Acta Informatica}, volume = {52}, number = {4}, pages = {337--392}, doi = {10.1007/s00236-015-0226-1}, url = {http://cadp.inria.fr/publications/Garavel-Lang-Mateescu-15.html}, ) @article(Garavel-Lang-Mateescu-Serwe-13, author = {Hubert Garavel and Fr\'ed\'eric Lang and Radu Mateescu and Wendelin Serwe}, year = {2013}, title = {{CADP 2011: A Toolbox for the Construction and Analysis of Distributed Processes}}, journal = {Springer International Journal on Software Tools for Technology Transfer (STTT)}, volume = {15}, number = {2}, pages = {89--107}, doi = {10.1007/s10009-012-0244-z}, url = {http://cadp.inria.fr/publications/Garavel-Lang-Mateescu-Serwe-13.html}, ) @inproceedings(Garavel-Mateescu-Bergamini-et-al-06, author = {Hubert Garavel and Radu Mateescu and Damien Bergamini and Adrian Curic and Nicolas Descoubes and Christophe Joubert and Smarandache-Sturm, Irina and Gilles Stragier}, year = {2006}, title = {DISTRIBUTOR and BCG\_MERGE: Tools for Distributed Explicit State Space Generation}, booktitle = {Proceedings of the 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS'2006 (Vienna, Austria)}, series = {Lecture Notes in Computer Science}, volume = {3920}, publisher = {Springer Verlag}, pages = {445--449}, doi = {10.1007/11691372_30}, url = {http://cadp.inria.fr/publications/Garavel-Mateescu-Bergamini-et-al-06.html}, ) @article(Garavel-Salaun-Serwe-09, author = {Hubert Garavel and Gwen Sala\"un and Wendelin Serwe}, year = {2009}, title = {On the Semantics of Communicating Hardware Processes and their Translation into {LOTOS} for the Verification of Asynchronous Circuits with {CADP}}, journal = {Science of Computer Programming}, volume = {74}, number = {3}, pages = {100--127}, doi = {10.1016/j.scico.2008.09.011}, url = {http://cadp.inria.fr/publications/Garavel-Salaun-Serwe-09.html}, ) @article(Garavel-Viho-Zendri-01, author = {Hubert Garavel and C\'esar Viho and Massimo Zendri}, year = {2001}, title = {System Design of a CC-NUMA Multiprocessor Architecture using Formal Specification, Model-Checking, Co-Simulation, and Test Generation}, journal = {Springer International Journal on Software Tools for Technology Transfer (STTT)}, volume = {3}, number = {3}, pages = {314--331}, doi = {10.1007/s100090100044}, url = {http://cadp.inria.fr/publications/Garavel-Viho-Zendri-00.html}, ) @techreport(ISO-8807, author = {ISO/IEC}, year = {1989}, title = {{LOTOS --- A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour}}, type = {International Standard}, number = {8807}, institution = {International Organization for Standardization --- Information Processing Systems --- Open Systems Interconnection}, address = {Geneva}, ) @article(Martin-86, author = {Alain J. Martin}, year = {1986}, title = {{Compiling Communicating Processes into Delay-Insensitive VLSI Circuits}}, journal = {Distributed Computing}, volume = {1}, number = {4}, pages = {226--234}, doi = {10.1007/BF01660034}, ) @inproceedings(Mateescu-Thivolle-08, author = {Radu Mateescu and Damien Thivolle}, year = {2008}, title = {A Model Checking Language for Concurrent Value-Passing Systems}, booktitle = {Proceedings of the 15th International Symposium on Formal Methods ({FM}'08), Turku, Finland}, series = {Lecture Notes in Computer Science}, volume = {5014}, publisher = {Springer Verlag}, pages = {148--164}, doi = {10.1007/978-3-540-68237-0_12}, url = {http://cadp.inria.fr/publications/Mateescu-Thivolle-08.html}, ) @inproceedings(Moore-Anderson-Cunnigham-et-al-03, author = {Simon Moore and Ross Anderson and Paul Cunningham and Robert Mullins and George Taylor}, year = {2002}, title = {{Improving Smart Card Security using Self-timed Circuits}}, booktitle = {Proceedings of the Eighth International Symposium on Asynchronous Circuits and Systems (ASYNC'02), Manchester, United Kingdom}, publisher = {IEEE}, pages = {211--218}, doi = {10.1109/ASYNC.2002.1000311}, ) @inproceedings(Salaun-Serwe-05, author = {Gwen Sala\"un and Wendelin Serwe}, year = {2005}, title = {Translating Hardware Process Algebras into Standard Process Algebras --- Illustration with CHP and LOTOS}, booktitle = {Proceedings of the 5th International Conference on Integrated Formal Methods ({IFM}'05), Eindhoven, The Netherlands}, series = {Lecture Notes in Computer Science}, volume = {3771}, publisher = {Springer Verlag}, doi = {10.1007/11589976_17}, url = {http://cadp.inria.fr/publications/Salaun-Serwe-05.html}, ) @techreport(FIPS-46-3, author = {National Institute of Standards and Technology}, year = {1999}, title = {Data Encryption Standard (DES)}, type = {Federal Information Processing Standards Publication}, number = {46-3}, url = {http://csrc.nist.gov/publications/fips/fips46-3/fips46-3.pdf}, ) @techreport(NIST-SP-800-67, author = {National Institute of Standards and Technology}, year = {2012}, title = {{Recommendation for the Triple Data Encryption Algorithm (TDEA) Block Cipher}}, type = {NIST Special Publication}, number = {800-67, Revision 1}, url = {http://csrc.nist.gov/publications/nistpubs/800-67-Rev1/SP-800-67-Rev1.pdf}, )