default search action

combined dblp search
author search
venue search
publication search

ask others

César Kunz

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2016
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/BartheCK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/BartheCK16
Gilles Barthe, Juan Manuel Crespo, César Kunz:
Product programs and relational program logics. J. Log. Algebraic Methods Program. 85(5): 847-859 (2016)
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/BeckerCGHHKNSTT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/BeckerCGHHKNSTT16
Hanno Becker, Juan Manuel Crespo, Jacek Galowicz, Ulrich Hensel, Yoichi Hirai, César Kunz, Keiko Nakata, Jorge Luis Sacchini, Hendrik Tews, Thomas Tuerk:
Combining Mechanized Proofs and Model-Based Testing in the Formal Analysis of a Hypervisor. FM 2016: 69-84
2014
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/BartheGAHKS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/BartheGAHKS14
Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, César Kunz, Pierre-Yves Strub:
Proving Differential Privacy in Hoare Logic. CSF 2014: 411-424
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/BartheGAHKS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BartheGAHKS14
Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, César Kunz, Pierre-Yves Strub:
Proving differential privacy in Hoare logic. CoRR abs/1407.2988 (2014)
2013
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/BartheCGKLSB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/BartheCGKLSB13
Gilles 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. CCS 2013: 1247-1260
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/BartheDGKB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/BartheDGKB13
Gilles Barthe, George Danezis, Benjamin Grégoire, César Kunz, Santiago Zanella Béguelin:
Verified Computational Differential Privacy with Applications to Smart Metering. CSF 2013: 287-301
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/fosad/BartheDGKSS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fosad/BartheDGKSS13
Gilles Barthe, François Dupressoir, Benjamin Grégoire, César Kunz, Benedikt Schmidt, Pierre-Yves Strub:
EasyCrypt: A Tutorial. FOSAD 2013: 146-166
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/lfcs/BartheCK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfcs/BartheCK13
Gilles Barthe, Juan Manuel Crespo, César Kunz:
Beyond 2-Safety: Asymmetric Product Programs for Relational Program Verification. LFCS 2013: 29-43
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/ppopp/BartheCKGM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppopp/BartheCKGM13
Gilles Barthe, Juan Manuel Crespo, Sumit Gulwani, César Kunz, Mark Marron:
From relational verification to SIMD loop synthesis. PPoPP 2013: 123-134
2012
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/BartheGKLB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/BartheGKLB12
Gilles Barthe, Benjamin Grégoire, César Kunz, Yassine Lakhnech, Santiago Zanella Béguelin:
Automation in Computer-Aided Cryptography: Proofs, Attacks and Designs. CPP 2012: 7-8
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/BackesBBGKSB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/BackesBBGKSB12
Michael Backes, Gilles Barthe, Matthias Berg, Benjamin Grégoire, César Kunz, Malte Skoruppa, Santiago Zanella Béguelin:
Verified Security of Merkle-Damgård. CSF 2012: 354-368
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/itp/BartheCGKB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/BartheCGKB12
Gilles Barthe, Juan Manuel Crespo, Benjamin Grégoire, César Kunz, Santiago Zanella Béguelin:
Computer-Aided Cryptographic Proofs. ITP 2012: 11-27
[i1]
- view
  - electronic edition @ iacr.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/iacr/BartheCGKLB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/BartheCGKLB12
Gilles 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. IACR Cryptol. ePrint Arch. 2012: 695 (2012)
2011
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/BartheK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/BartheK11
Gilles Barthe, César Kunz:
An Abstract Model of Certificate Translation. ACM Trans. Program. Lang. Syst. 33(4): 13:1-13:46 (2011)
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/BartheCK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/BartheCK11
Gilles Barthe, Juan Manuel Crespo, César Kunz:
Relational Verification Using Product Programs. FM 2011: 200-214
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/CrespoK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/CrespoK11
Juan Manuel Crespo, César Kunz:
A Machine-Checked Framework for Relational Separation Logic. SEFM 2011: 122-137
2010
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/flops/BartheBK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flops/BartheBK10
Gilles Barthe, Pablo Buiras, César Kunz:
A Functional Framework for Result Checking. FLOPS 2010: 72-86
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/BartheK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/BartheK10
Gilles Barthe, César Kunz:
Perspectives in Certificate Translation. TGC 2010: 23-34
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/Kunz10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/Kunz10
César Kunz:
Certificate Translation for the Verification of Concurrent Programs. TGC 2010: 237-252

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/BartheGKR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/BartheGKR09
Gilles Barthe, Benjamin Grégoire, César Kunz, Tamara Rezk:
Certificate translation for optimizing compilers. ACM Trans. Program. Lang. Syst. 31(5): 18:1-18:45 (2009)
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/BartheGHKP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/BartheGHKP09
Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, César Kunz, Anne Pacalet:
Implementing a Direct Method for Certificate Translation. ICFEM 2009: 541-560
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/ScandoloKH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/ScandoloKH09
Leonardo Scandolo, César Kunz, Manuel V. Hermenegildo:
Program Parallelization Using Synchronized Pipelining. LOPSTR 2009: 173-187
2008
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/BartheKS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/BartheKS08
Gilles Barthe, César Kunz, Jorge Luis Sacchini:
Certified Reasoning in Memory Hierarchies. APLAS 2008: 75-90
[c5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esop/BartheK08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/BartheK08
Gilles Barthe, César Kunz:
Certificate Translation in Abstract Interpretation. ESOP 2008: 368-382
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/foal/BartheK08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/foal/BartheK08
Gilles Barthe, César Kunz:
Certificate translation for specification-preserving advices. FOAL 2008: 9-18
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/fosad/BartheK08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fosad/BartheK08
Gilles Barthe, César Kunz:
An Introduction to Certificate Translation. FOSAD 2008: 51-95
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/BartheKPS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/BartheKPS08
Gilles Barthe, César Kunz, David Pichardie, Julián Samborski-Forlese:
Preservation of Proof Pbligations for Hybrid Verification Methods. SEFM 2008: 127-136
2006
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/BartheGKR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/BartheGKR06
Gilles Barthe, Benjamin Grégoire, César Kunz, Tamara Rezk:
Certificate Translation for Optimizing Compilers. SAS 2006: 301-317

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.