Charlie Jacomme
AuthID: R-00K-HHW
1
TITLE: Universal Equivalence and Majority of Probabilistic Programs over Finite Fields
AUTHORS: Gilles Barthe ; Charlie Jacomme; Steve Kremer;
PUBLISHED: 2022, SOURCE: ACM Trans. Comput. Log., VOLUME: 23, ISSUE: 1
AUTHORS: Gilles Barthe ; Charlie Jacomme; Steve Kremer;
PUBLISHED: 2022, SOURCE: ACM Trans. Comput. Log., VOLUME: 23, ISSUE: 1
INDEXED IN: 
DBLP
DBLP2
TITLE: Universal equivalence and majority of probabilistic programs over finite fields
AUTHORS: Gilles Barthe ; Charlie Jacomme; Steve Kremer;
PUBLISHED: 2020, SOURCE: LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Saarbrücken, Germany, July 8-11, 2020.
AUTHORS: Gilles Barthe ; Charlie Jacomme; Steve Kremer;
PUBLISHED: 2020, SOURCE: LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Saarbrücken, Germany, July 8-11, 2020.
INDEXED IN: DBLP
DBLP3
TITLE: Symbolic Methods in Computational Cryptography Proofs
AUTHORS: Gilles Barthe ; Benjamin Grégoire; Charlie Jacomme; Steve Kremer; Pierre Yves Strub;
PUBLISHED: 2019, SOURCE: 32nd IEEE Computer Security Foundations Symposium, CSF 2019, Hoboken, NJ, USA, June 25-28, 2019
AUTHORS: Gilles Barthe ; Benjamin Grégoire; Charlie Jacomme; Steve Kremer; Pierre Yves Strub;
PUBLISHED: 2019, SOURCE: 32nd IEEE Computer Security Foundations Symposium, CSF 2019, Hoboken, NJ, USA, June 25-28, 2019
INDEXED IN: DBLP
DBLP