Concepedia

César Kunz

CK

Statistics

Publications

8

Citations

345

H-Index

8

Active since

2009

Affiliations

IMDEA Software Institute(Current)

Microsoft (United States)

Institut national de recherche en sciences et technologies du numérique

Madrid Institute for Advanced Studies

Centre Inria d'Université Côte d'Azur

César Kunz is an author at IMDEA Software Institute specializing in computing, computer science, and deductive verification.

Publications per year

2009–2016

8

Publications

8

Verified Computational Differential Privacy with Applications to Smart Metering

Gilles Barthe, George Danezis, Benjamin Grégoire et al. · 2013 · 72 citations · Full text

Computing, Computer Science, Cybersecurity +17

From relational verification to SIMD loop synthesis

Gilles Barthe, Juan Manuel Crespo, Sumit Gulwani et al. · 2013 · 64 citations

Computing, Computer Engineering, Computer Science +17

Proving Differential Privacy in Hoare Logic

Gilles Barthe, Emilio Jesús Gallego Arias, Justin Hsu et al. · 2014 · 61 citations · Full text

Computing, Computer Science, Computer Security +12

Fully automated analysis of padding-based encryption in the computational model

Gilles Barthe, Juan Manuel Crespo, Benjamin Grégoire et al. · 2013 · 53 citations

Computing, Computer Science, Computer Security +14

Product programs and relational program logics

Gilles Barthe, Juan Manuel Crespo, César Kunz · Journal of Logical and Algebraic Methods in Programming · 2016 · 39 citations

Computing, Computer Science, Databases +12

1–5 of 8