The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "César Kunz" ( http://dblp.L3S.de/Authors/César_Kunz )

  Author page on DBLP  Author page in RDF  Community of César Kunz in ASPL-2

Publication years (Num. hits)
2006-2011 (15) 2012-2016 (13)
Publication types (Num. hits)
article(5) inproceedings(23)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 7 occurrences of 5 keywords

Results
Found 29 publication records. Showing 28 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Gilles Barthe, Juan Manuel Crespo, César Kunz Product programs and relational program logics. Search on Bibsonomy J. Log. Algebr. Meth. Program. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hanno Becker, Juan Manuel Crespo, Jacek Galowicz, Ulrich Hensel, Yoichi Hirai, César Kunz, Keiko Nakata 0001, Jorge Luis Sacchini, Hendrik Tews, Thomas Tuerk Combining Mechanized Proofs and Model-Based Testing in the Formal Analysis of a Hypervisor. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, César Kunz, Pierre-Yves Strub Proving differential privacy in Hoare logic. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, César Kunz, Pierre-Yves Strub Proving Differential Privacy in Hoare Logic. Search on Bibsonomy CSF The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, Juan Manuel Crespo, Benjamin Grégoire, César Kunz, Yassine Lakhnech, Benedikt Schmidt, Santiago Zanella Béguelin Fully automated analysis of padding-based encryption in the computational model. Search on Bibsonomy ACM Conference on Computer and Communications Security The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, George Danezis, Benjamin Grégoire, César Kunz, Santiago Zanella Béguelin Verified Computational Differential Privacy with Applications to Smart Metering. Search on Bibsonomy CSF The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, Juan Manuel Crespo, César Kunz Beyond 2-Safety: Asymmetric Product Programs for Relational Program Verification. Search on Bibsonomy LFCS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, François Dupressoir, Benjamin Grégoire, César Kunz, Benedikt Schmidt, Pierre-Yves Strub EasyCrypt: A Tutorial. Search on Bibsonomy FOSAD The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, Juan Manuel Crespo, Sumit Gulwani, César Kunz, Mark Marron From relational verification to SIMD loop synthesis. Search on Bibsonomy PPOPP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, Juan Manuel Crespo, Benjamin Grégoire, César Kunz, Yassine Lakhnech, Santiago Zanella Béguelin Automated Analysis and Synthesis of Padding-Based Encryption Schemes. Search on Bibsonomy IACR Cryptology ePrint Archive The full citation details ... 2012 DBLP  BibTeX  RDF
1Michael Backes 0001, Gilles Barthe, Matthias Berg, Benjamin Grégoire, César Kunz, Malte Skoruppa, Santiago Zanella Béguelin Verified Security of Merkle-Damgård. Search on Bibsonomy CSF The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, Juan Manuel Crespo, Benjamin Grégoire, César Kunz, Santiago Zanella Béguelin Computer-Aided Cryptographic Proofs. Search on Bibsonomy ITP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, Benjamin Grégoire, César Kunz, Yassine Lakhnech, Santiago Zanella Béguelin Automation in Computer-Aided Cryptography: Proofs, Attacks and Designs. Search on Bibsonomy CPP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, César Kunz An Abstract Model of Certificate Translation. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, Juan Manuel Crespo, César Kunz Relational Verification Using Product Programs. Search on Bibsonomy FM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Juan Manuel Crespo, César Kunz A Machine-Checked Framework for Relational Separation Logic. Search on Bibsonomy SEFM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1César Kunz Certificate Translation for the Verification of Concurrent Programs. Search on Bibsonomy TGC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, César Kunz Perspectives in Certificate Translation. Search on Bibsonomy TGC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, Pablo Buiras, César Kunz A Functional Framework for Result Checking. Search on Bibsonomy FLOPS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, Benjamin Grégoire, César Kunz, Tamara Rezk Certificate translation for optimizing compilers. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF static analysis, program verification, program optimizations, Proof-carrying code
1Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, César Kunz, Anne Pacalet Implementing a Direct Method for Certificate Translation. Search on Bibsonomy ICFEM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Leonardo Scandolo, César Kunz, Manuel V. Hermenegildo Program Parallelization Using Synchronized Pipelining. Search on Bibsonomy LOPSTR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, César Kunz, Jorge Luis Sacchini Certified Reasoning in Memory Hierarchies. Search on Bibsonomy APLAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, César Kunz Certificate Translation in Abstract Interpretation. Search on Bibsonomy ESOP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, César Kunz Certificate translation for specification-preserving advices. Search on Bibsonomy FOAL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF AOP, program verification, proof-carrying code
1Gilles Barthe, César Kunz An Introduction to Certificate Translation. Search on Bibsonomy FOSAD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, César Kunz, David Pichardie, Julián Samborski-Forlese Preservation of Proof Pbligations for Hybrid Verification Methods. Search on Bibsonomy SEFM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, Benjamin Grégoire, César Kunz, Tamara Rezk Certificate Translation for Optimizing Compilers. Search on Bibsonomy SAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #28 of 28 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license