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