BibTeX records: François Dupressoir

download as .bib file

@inproceedings{DBLP:conf/ccs/AlmeidaBBDGLP17,
  author    = {Jos{\'{e}} Bacelar Almeida and
               Manuel Barbosa and
               Gilles Barthe and
               Fran{\c{c}}ois Dupressoir and
               Benjamin Gr{\'{e}}goire and
               Vincent Laporte and
               Vitor Pereira},
  title     = {A Fast and Verified Software Stack for Secure Function Evaluation},
  booktitle = {Proceedings of the 2017 {ACM} {SIGSAC} Conference on Computer and
               Communications Security, {CCS} 2017, Dallas, TX, USA, October 30 -
               November 03, 2017},
  pages     = {1989--2006},
  year      = {2017},
  crossref  = {DBLP:conf/ccs/2017},
  url       = {http://doi.acm.org/10.1145/3133956.3134017},
  doi       = {10.1145/3133956.3134017},
  timestamp = {Sat, 28 Oct 2017 18:37:45 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ccs/AlmeidaBBDGLP17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/eurocrypt/BartheDFGSS17,
  author    = {Gilles Barthe and
               Fran{\c{c}}ois Dupressoir and
               Sebastian Faust and
               Benjamin Gr{\'{e}}goire and
               Fran{\c{c}}ois{-}Xavier Standaert and
               Pierre{-}Yves Strub},
  title     = {Parallel Implementations of Masking Schemes and the Bounded Moment
               Leakage Model},
  booktitle = {Advances in Cryptology - {EUROCRYPT} 2017 - 36th Annual International
               Conference on the Theory and Applications of Cryptographic Techniques,
               Paris, France, April 30 - May 4, 2017, Proceedings, Part {I}},
  pages     = {535--566},
  year      = {2017},
  crossref  = {DBLP:conf/eurocrypt/2017-1},
  url       = {https://doi.org/10.1007/978-3-319-56620-7_19},
  doi       = {10.1007/978-3-319-56620-7_19},
  timestamp = {Sat, 16 Sep 2017 12:12:20 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/eurocrypt/BartheDFGSS17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sp/CortierDDSSW17,
  author    = {V{\'{e}}ronique Cortier and
               Constantin Catalin Dragan and
               Fran{\c{c}}ois Dupressoir and
               Benedikt Schmidt and
               Pierre{-}Yves Strub and
               Bogdan Warinschi},
  title     = {Machine-Checked Proofs of Privacy for Electronic Voting Protocols},
  booktitle = {2017 {IEEE} Symposium on Security and Privacy, {SP} 2017, San Jose,
               CA, USA, May 22-26, 2017},
  pages     = {993--1008},
  year      = {2017},
  crossref  = {DBLP:conf/sp/2017},
  url       = {https://doi.org/10.1109/SP.2017.28},
  doi       = {10.1109/SP.2017.28},
  timestamp = {Tue, 27 Jun 2017 13:01:08 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sp/CortierDDSSW17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ccs/BartheBDFGSZ16,
  author    = {Gilles Barthe and
               Sonia Bela{\"{\i}}d and
               Fran{\c{c}}ois Dupressoir and
               Pierre{-}Alain Fouque and
               Benjamin Gr{\'{e}}goire and
               Pierre{-}Yves Strub and
               R{\'{e}}becca Zucchini},
  title     = {Strong Non-Interference and Type-Directed Higher-Order Masking},
  booktitle = {Proceedings of the 2016 {ACM} {SIGSAC} Conference on Computer and
               Communications Security, Vienna, Austria, October 24-28, 2016},
  pages     = {116--129},
  year      = {2016},
  crossref  = {DBLP:conf/ccs/2016},
  url       = {http://doi.acm.org/10.1145/2976749.2978427},
  doi       = {10.1145/2976749.2978427},
  timestamp = {Mon, 24 Oct 2016 15:38:42 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ccs/BartheBDFGSZ16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fse/AlmeidaBBD16,
  author    = {Jos{\'{e}} Bacelar Almeida and
               Manuel Barbosa and
               Gilles Barthe and
               Fran{\c{c}}ois Dupressoir},
  title     = {Verifiable Side-Channel Security of Cryptographic Implementations:
               Constant-Time {MEE-CBC}},
  booktitle = {Fast Software Encryption - 23rd International Conference, {FSE} 2016,
               Bochum, Germany, March 20-23, 2016, Revised Selected Papers},
  pages     = {163--184},
  year      = {2016},
  crossref  = {DBLP:conf/fse/2016},
  url       = {https://doi.org/10.1007/978-3-662-52993-5_9},
  doi       = {10.1007/978-3-662-52993-5_9},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fse/AlmeidaBBD16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/uss/AlmeidaBBDE16,
  author    = {Jos{\'{e}} Bacelar Almeida and
               Manuel Barbosa and
               Gilles Barthe and
               Fran{\c{c}}ois Dupressoir and
               Michael Emmi},
  title     = {Verifying Constant-Time Implementations},
  booktitle = {25th {USENIX} Security Symposium, {USENIX} Security 16, Austin, TX,
               USA, August 10-12, 2016.},
  pages     = {53--70},
  year      = {2016},
  crossref  = {DBLP:conf/uss/2016},
  url       = {https://www.usenix.org/conference/usenixsecurity16/technical-sessions/presentation/almeida},
  timestamp = {Mon, 05 Sep 2016 15:32:50 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/uss/AlmeidaBBDE16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/iacr/BartheDFGSS16,
  author    = {Gilles Barthe and
               Fran{\c{c}}ois Dupressoir and
               Sebastian Faust and
               Benjamin Gr{\'{e}}goire and
               Fran{\c{c}}ois{-}Xavier Standaert and
               Pierre{-}Yves Strub},
  title     = {Parallel Implementations of Masking Schemes and the Bounded Moment
               Leakage Model},
  journal   = {{IACR} Cryptology ePrint Archive},
  volume    = {2016},
  pages     = {912},
  year      = {2016},
  url       = {http://eprint.iacr.org/2016/912},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/iacr/BartheDFGSS16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/eurocrypt/BartheBDFGS15,
  author    = {Gilles Barthe and
               Sonia Bela{\"{\i}}d and
               Fran{\c{c}}ois Dupressoir and
               Pierre{-}Alain Fouque and
               Benjamin Gr{\'{e}}goire and
               Pierre{-}Yves Strub},
  title     = {Verified Proofs of Higher-Order Masking},
  booktitle = {Advances in Cryptology - {EUROCRYPT} 2015 - 34th Annual International
               Conference on the Theory and Applications of Cryptographic Techniques,
               Sofia, Bulgaria, April 26-30, 2015, Proceedings, Part {I}},
  pages     = {457--485},
  year      = {2015},
  crossref  = {DBLP:conf/eurocrypt/2015-1},
  url       = {https://doi.org/10.1007/978-3-662-46800-5_18},
  doi       = {10.1007/978-3-662-46800-5_18},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/eurocrypt/BartheBDFGS15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/iacr/BartheBDFGS15,
  author    = {Gilles Barthe and
               Sonia Bela{\"{\i}}d and
               Fran{\c{c}}ois Dupressoir and
               Pierre{-}Alain Fouque and
               Benjamin Gr{\'{e}}goire and
               Pierre{-}Yves Strub},
  title     = {Verified Proofs of Higher-Order Masking},
  journal   = {{IACR} Cryptology ePrint Archive},
  volume    = {2015},
  pages     = {60},
  year      = {2015},
  url       = {http://eprint.iacr.org/2015/060},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/iacr/BartheBDFGS15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/iacr/BartheBDFG15,
  author    = {Gilles Barthe and
               Sonia Bela{\"{\i}}d and
               Fran{\c{c}}ois Dupressoir and
               Pierre{-}Alain Fouque and
               Benjamin Gr{\'{e}}goire},
  title     = {Compositional Verification of Higher-Order Masking: Application to
               a Verifying Masking Compiler},
  journal   = {{IACR} Cryptology ePrint Archive},
  volume    = {2015},
  pages     = {506},
  year      = {2015},
  url       = {http://eprint.iacr.org/2015/506},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/iacr/BartheBDFG15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/iacr/AlmeidaBBD15,
  author    = {Jos{\'{e}} Bacelar Almeida and
               Manuel Barbosa and
               Gilles Barthe and
               Fran{\c{c}}ois Dupressoir},
  title     = {Verifiable side-channel security of cryptographic implementations:
               constant-time {MEE-CBC}},
  journal   = {{IACR} Cryptology ePrint Archive},
  volume    = {2015},
  pages     = {1241},
  year      = {2015},
  url       = {http://eprint.iacr.org/2015/1241},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/iacr/AlmeidaBBD15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jcs/DupressoirGJN14,
  author    = {Fran{\c{c}}ois Dupressoir and
               Andrew D. Gordon and
               Jan J{\"{u}}rjens and
               David A. Naumann},
  title     = {Guiding a general-purpose {C} verifier to prove cryptographic protocols},
  journal   = {Journal of Computer Security},
  volume    = {22},
  number    = {5},
  pages     = {823--866},
  year      = {2014},
  url       = {https://doi.org/10.3233/JCS-140508},
  doi       = {10.3233/JCS-140508},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jcs/DupressoirGJN14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ccs/BartheDFGZ14,
  author    = {Gilles Barthe and
               Fran{\c{c}}ois Dupressoir and
               Pierre{-}Alain Fouque and
               Benjamin Gr{\'{e}}goire and
               Jean{-}Christophe Zapalowicz},
  title     = {Synthesis of Fault Attacks on Cryptographic Implementations},
  booktitle = {Proceedings of the 2014 {ACM} {SIGSAC} Conference on Computer and
               Communications Security, Scottsdale, AZ, USA, November 3-7, 2014},
  pages     = {1016--1027},
  year      = {2014},
  crossref  = {DBLP:conf/ccs/2014},
  url       = {http://doi.acm.org/10.1145/2660267.2660304},
  doi       = {10.1145/2660267.2660304},
  timestamp = {Thu, 01 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ccs/BartheDFGZ14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ches/BartheDFGTZ14,
  author    = {Gilles Barthe and
               Fran{\c{c}}ois Dupressoir and
               Pierre{-}Alain Fouque and
               Benjamin Gr{\'{e}}goire and
               Mehdi Tibouchi and
               Jean{-}Christophe Zapalowicz},
  title     = {Making {RSA-PSS} Provably Secure against Non-random Faults},
  booktitle = {Cryptographic Hardware and Embedded Systems - {CHES} 2014 - 16th International
               Workshop, Busan, South Korea, September 23-26, 2014. Proceedings},
  pages     = {206--222},
  year      = {2014},
  crossref  = {DBLP:conf/ches/2014},
  url       = {https://doi.org/10.1007/978-3-662-44709-3_12},
  doi       = {10.1007/978-3-662-44709-3_12},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ches/BartheDFGTZ14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/iacr/BartheDFGTZ14,
  author    = {Gilles Barthe and
               Fran{\c{c}}ois Dupressoir and
               Pierre{-}Alain Fouque and
               Benjamin Gr{\'{e}}goire and
               Mehdi Tibouchi and
               Jean{-}Christophe Zapalowicz},
  title     = {Making {RSA-PSS} Provably Secure Against Non-Random Faults},
  journal   = {{IACR} Cryptology ePrint Archive},
  volume    = {2014},
  pages     = {252},
  year      = {2014},
  url       = {http://eprint.iacr.org/2014/252},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/iacr/BartheDFGTZ14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/iacr/BartheDFGZ14,
  author    = {Gilles Barthe and
               Fran{\c{c}}ois Dupressoir and
               Pierre{-}Alain Fouque and
               Benjamin Gr{\'{e}}goire and
               Jean{-}Christophe Zapalowicz},
  title     = {Synthesis of Fault Attacks on Cryptographic Implementations},
  journal   = {{IACR} Cryptology ePrint Archive},
  volume    = {2014},
  pages     = {436},
  year      = {2014},
  url       = {http://eprint.iacr.org/2014/436},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/iacr/BartheDFGZ14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/iacr/AlmeidaBBDDGS14,
  author    = {Jos{\'{e}} Bacelar Almeida and
               Manuel Barbosa and
               Gilles Barthe and
               Guillaume Davy and
               Fran{\c{c}}ois Dupressoir and
               Benjamin Gr{\'{e}}goire and
               Pierre{-}Yves Strub},
  title     = {Verified Implementations for Secure and Verifiable Computation},
  journal   = {{IACR} Cryptology ePrint Archive},
  volume    = {2014},
  pages     = {456},
  year      = {2014},
  url       = {http://eprint.iacr.org/2014/456},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/iacr/AlmeidaBBDDGS14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Dupressoir13,
  author    = {Fran{\c{c}}ois Dupressoir},
  title     = {Proving cryptographic {C} programs secure with general-purpose verification
               tools},
  school    = {Open University, Milton Keynes, {UK}},
  year      = {2013},
  url       = {http://oro.open.ac.uk/37627/},
  timestamp = {Tue, 16 Aug 2016 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/phd/ethos/Dupressoir13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ccs/AlmeidaBBD13,
  author    = {Jos{\'{e}} Bacelar Almeida and
               Manuel Barbosa and
               Gilles Barthe and
               Fran{\c{c}}ois Dupressoir},
  title     = {Certified computer-aided cryptography: efficient provably secure machine
               code from high-level implementations},
  booktitle = {2013 {ACM} {SIGSAC} Conference on Computer and Communications Security,
               CCS'13, Berlin, Germany, November 4-8, 2013},
  pages     = {1217--1230},
  year      = {2013},
  crossref  = {DBLP:conf/ccs/2013},
  url       = {http://doi.acm.org/10.1145/2508859.2516652},
  doi       = {10.1145/2508859.2516652},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ccs/AlmeidaBBD13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fosad/BartheDGKSS13,
  author    = {Gilles Barthe and
               Fran{\c{c}}ois Dupressoir and
               Benjamin Gr{\'{e}}goire and
               C{\'{e}}sar Kunz and
               Benedikt Schmidt and
               Pierre{-}Yves Strub},
  title     = {EasyCrypt: {A} Tutorial},
  booktitle = {Foundations of Security Analysis and Design {VII} - {FOSAD} 2012/2013
               Tutorial Lectures},
  pages     = {146--166},
  year      = {2013},
  crossref  = {DBLP:conf/fosad/2013},
  url       = {https://doi.org/10.1007/978-3-319-10082-1_6},
  doi       = {10.1007/978-3-319-10082-1_6},
  timestamp = {Fri, 02 Jun 2017 20:49:06 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fosad/BartheDGKSS13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/DupressoirGJN13,
  author    = {Fran{\c{c}}ois Dupressoir and
               Andrew D. Gordon and
               Jan J{\"{u}}rjens and
               David A. Naumann},
  title     = {Guiding a General-Purpose {C} Verifier to Prove Cryptographic Protocols},
  journal   = {CoRR},
  volume    = {abs/1312.6532},
  year      = {2013},
  url       = {http://arxiv.org/abs/1312.6532},
  archivePrefix = {arXiv},
  eprint    = {1312.6532},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/DupressoirGJN13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/iacr/AlmeidaBBD13,
  author    = {Jos{\'{e}} Bacelar Almeida and
               Manuel Barbosa and
               Gilles Barthe and
               Fran{\c{c}}ois Dupressoir},
  title     = {Certified computer-aided cryptography: efficient provably secure machine
               code from high-level implementations},
  journal   = {{IACR} Cryptology ePrint Archive},
  volume    = {2013},
  pages     = {316},
  year      = {2013},
  url       = {http://eprint.iacr.org/2013/316},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/iacr/AlmeidaBBD13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/csfw/DupressoirGJN11,
  author    = {Fran{\c{c}}ois Dupressoir and
               Andrew D. Gordon and
               Jan J{\"{u}}rjens and
               David A. Naumann},
  title     = {Guiding a General-Purpose {C} Verifier to Prove Cryptographic Protocols},
  booktitle = {Proceedings of the 24th {IEEE} Computer Security Foundations Symposium,
               {CSF} 2011, Cernay-la-Ville, France, 27-29 June, 2011},
  pages     = {3--17},
  year      = {2011},
  crossref  = {DBLP:conf/csfw/2011},
  url       = {https://doi.org/10.1109/CSF.2011.8},
  doi       = {10.1109/CSF.2011.8},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/csfw/DupressoirGJN11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/AizatulinDGJ11,
  author    = {Mihhail Aizatulin and
               Fran{\c{c}}ois Dupressoir and
               Andrew D. Gordon and
               Jan J{\"{u}}rjens},
  title     = {Verifying Cryptographic Code in {C:} Some Experience and the Csec
               Challenge},
  booktitle = {Formal Aspects of Security and Trust - 8th International Workshop,
               {FAST} 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected
               Papers},
  pages     = {1--20},
  year      = {2011},
  crossref  = {DBLP:conf/ifip1-7/2011},
  url       = {https://doi.org/10.1007/978-3-642-29420-4_1},
  doi       = {10.1007/978-3-642-29420-4_1},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ifip1-7/AizatulinDGJ11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ccs/2017,
  editor    = {Bhavani M. Thuraisingham and
               David Evans and
               Tal Malkin and
               Dongyan Xu},
  title     = {Proceedings of the 2017 {ACM} {SIGSAC} Conference on Computer and
               Communications Security, {CCS} 2017, Dallas, TX, USA, October 30 -
               November 03, 2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {http://doi.acm.org/10.1145/3133956},
  doi       = {10.1145/3133956},
  isbn      = {978-1-4503-4946-8},
  timestamp = {Sat, 28 Oct 2017 18:37:45 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ccs/2017},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/eurocrypt/2017-1,
  editor    = {Jean{-}S{\'{e}}bastien Coron and
               Jesper Buus Nielsen},
  title     = {Advances in Cryptology - {EUROCRYPT} 2017 - 36th Annual International
               Conference on the Theory and Applications of Cryptographic Techniques,
               Paris, France, April 30 - May 4, 2017, Proceedings, Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10210},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-56620-7},
  doi       = {10.1007/978-3-319-56620-7},
  isbn      = {978-3-319-56619-1},
  timestamp = {Sat, 16 Sep 2017 12:12:20 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/eurocrypt/2017-1},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sp/2017,
  title     = {2017 {IEEE} Symposium on Security and Privacy, {SP} 2017, San Jose,
               CA, USA, May 22-26, 2017},
  publisher = {{IEEE} Computer Society},
  year      = {2017},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7957740},
  isbn      = {978-1-5090-5533-3},
  timestamp = {Tue, 27 Jun 2017 13:01:08 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sp/2017},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ccs/2016,
  editor    = {Edgar R. Weippl and
               Stefan Katzenbeisser and
               Christopher Kruegel and
               Andrew C. Myers and
               Shai Halevi},
  title     = {Proceedings of the 2016 {ACM} {SIGSAC} Conference on Computer and
               Communications Security, Vienna, Austria, October 24-28, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {http://dl.acm.org/citation.cfm?id=2976749},
  isbn      = {978-1-4503-4139-4},
  timestamp = {Mon, 24 Oct 2016 15:38:42 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ccs/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fse/2016,
  editor    = {Thomas Peyrin},
  title     = {Fast Software Encryption - 23rd International Conference, {FSE} 2016,
               Bochum, Germany, March 20-23, 2016, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9783},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-662-52993-5},
  doi       = {10.1007/978-3-662-52993-5},
  isbn      = {978-3-662-52992-8},
  timestamp = {Tue, 23 May 2017 01:12:11 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fse/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/uss/2016,
  editor    = {Thorsten Holz and
               Stefan Savage},
  title     = {25th {USENIX} Security Symposium, {USENIX} Security 16, Austin, TX,
               USA, August 10-12, 2016},
  publisher = {{USENIX} Association},
  year      = {2016},
  url       = {https://www.usenix.org/conference/usenixsecurity16},
  timestamp = {Mon, 05 Sep 2016 15:32:50 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/uss/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/eurocrypt/2015-1,
  editor    = {Elisabeth Oswald and
               Marc Fischlin},
  title     = {Advances in Cryptology - {EUROCRYPT} 2015 - 34th Annual International
               Conference on the Theory and Applications of Cryptographic Techniques,
               Sofia, Bulgaria, April 26-30, 2015, Proceedings, Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9056},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-662-46800-5},
  doi       = {10.1007/978-3-662-46800-5},
  isbn      = {978-3-662-46799-2},
  timestamp = {Wed, 24 May 2017 08:31:22 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/eurocrypt/2015-1},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ccs/2014,
  editor    = {Gail{-}Joon Ahn and
               Moti Yung and
               Ninghui Li},
  title     = {Proceedings of the 2014 {ACM} {SIGSAC} Conference on Computer and
               Communications Security, Scottsdale, AZ, USA, November 3-7, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2660267},
  isbn      = {978-1-4503-2957-6},
  timestamp = {Mon, 10 Nov 2014 10:57:06 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/ccs/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ches/2014,
  editor    = {Lejla Batina and
               Matthew Robshaw},
  title     = {Cryptographic Hardware and Embedded Systems - {CHES} 2014 - 16th International
               Workshop, Busan, South Korea, September 23-26, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8731},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-662-44709-3},
  doi       = {10.1007/978-3-662-44709-3},
  isbn      = {978-3-662-44708-6},
  timestamp = {Sun, 21 May 2017 00:18:33 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ches/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ccs/2013,
  editor    = {Ahmad{-}Reza Sadeghi and
               Virgil D. Gligor and
               Moti Yung},
  title     = {2013 {ACM} {SIGSAC} Conference on Computer and Communications Security,
               CCS'13, Berlin, Germany, November 4-8, 2013},
  publisher = {{ACM}},
  year      = {2013},
  url       = {http://dl.acm.org/citation.cfm?id=2508859},
  isbn      = {978-1-4503-2477-9},
  timestamp = {Fri, 08 Nov 2013 09:43:20 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/ccs/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fosad/2013,
  editor    = {Alessandro Aldini and
               Javier Lopez and
               Fabio Martinelli},
  title     = {Foundations of Security Analysis and Design {VII} - {FOSAD} 2012/2013
               Tutorial Lectures},
  series    = {Lecture Notes in Computer Science},
  volume    = {8604},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-10082-1},
  doi       = {10.1007/978-3-319-10082-1},
  isbn      = {978-3-319-10081-4},
  timestamp = {Fri, 02 Jun 2017 20:49:06 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fosad/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/csfw/2011,
  title     = {Proceedings of the 24th {IEEE} Computer Security Foundations Symposium,
               {CSF} 2011, Cernay-la-Ville, France, 27-29 June, 2011},
  publisher = {{IEEE} Computer Society},
  year      = {2011},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5991608},
  isbn      = {978-1-61284-644-6},
  timestamp = {Fri, 13 May 2016 11:47:05 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/csfw/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ifip1-7/2011,
  editor    = {Gilles Barthe and
               Anupam Datta and
               Sandro Etalle},
  title     = {Formal Aspects of Security and Trust - 8th International Workshop,
               {FAST} 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected
               Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {7140},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-29420-4},
  doi       = {10.1007/978-3-642-29420-4},
  isbn      = {978-3-642-29419-8},
  timestamp = {Fri, 19 May 2017 01:26:05 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ifip1-7/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier