Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Jacomme, Charlie
84  Ergebnisse:
Personensuche X
?
1

The Squirrel Prover and its Logic:

Baelde, David ; Delaune, Stéphanie ; Jacomme, Charlie..
ACM SIGLOG News.  11 (2024)  2 - p. 62-83 , 2024
Link: https://doi.org/10.1145/..
 
?
2

Subterm-Based Proof Techniques for Improving the Automation..:

, In: 2023 IEEE 36th Computer Security Foundations Symposium (CSF),
Cremers, Cas ; Jacomme, Charlie ; Lukert, Philip - p. 200-213 , 2023
Link: https://doi.org/10.1109/..
 
?
3

A Logic and an Interactive Prover for the Computational Pos..:

, In: 2022 IEEE Symposium on Security and Privacy (SP),
Cremers, Cas ; Fontaine, Caroline ; Jacomme, Charlie - p. 125-141 , 2022
Link: https://doi.org/10.1109/..
 
?
4

An Extensive Formal Analysis of Multi-factor Authentication..:

Jacomme, Charlie ; Kremer, Steve
ACM Transactions on Privacy and Security.  24 (2021)  2 - p. 1-34 , 2021
Link: https://doi.org/10.1145/..
 
?
5

An Interactive Prover for Protocol Verification in the Comp..:

, In: 2021 IEEE Symposium on Security and Privacy (SP),
Baelde, David ; Delaune, Stephanie ; Jacomme, Charlie.. - p. 537-554 , 2021
Link: https://doi.org/10.1109/..
 
?
6

An Extensive Formal Analysis of Multi-factor Authentication..:

Jacomme, Charlie ; Kremer, Steve
ACM Transactions on Privacy and Security (TOPS).  24 (2021)  2 - p. 1-34 , 2021
Link: https://dl.acm.org/doi/1..
 
?
7

Universal Equivalence and Majority of Probabilistic Program..:

Barthe, Gilles ; Jacomme, Charlie ; Kremer, Steve
ACM Transactions on Computational Logic.  23 (2021)  1 - p. 1-42 , 2021
Link: https://doi.org/10.1145/..
 
?
8

Universal equivalence and majority of probabilistic program..:

, In: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science,
Barthe, Gilles ; Jacomme, Charlie ; Kremer, Steve - p. 155-166 , 2020
Link: https://dl.acm.org/doi/1..
 
?
9

Oracle Simulation: A Technique for Protocol Composition wit..:

, In: Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security,
Comon, Hubert ; Jacomme, Charlie ; Scerri, Guillaume - p. 1427-1444 , 2020
Link: https://dl.acm.org/doi/1..
 
?
10

Symbolic Proofs for Lattice-Based Cryptography:

, In: Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security,
Barthe, Gilles ; Fan, Xiong ; Gancher, Joshua... - p. 538-555 , 2018
Link: https://dl.acm.org/doi/1..
 
?
11

Symbolic Models for Isolated Execution Environments:

, In: 2017 IEEE European Symposium on Security and Privacy (EuroS&P),
Jacomme, Charlie ; Kremer, Steve ; Scerri, Guillaume - p. 530-545 , 2017
Link: https://doi.org/10.1109/..
 
?
12

Preuves de protocoles cryptographiques : méthodes symboliqu..:

Charlie Jacomme
Bulletin 1024.  , 2022
Link: https://doi.org/10.48556..
 
?
13

Hash Gone Bad: Automated discovery of protocol attacks that..:

Cheval, Vincent ; Cremers, Cas ; Dax, Alexander...
hal-03795715.  , 2023
Link: https://hal.science/hal-..
 
?
14

Hash Gone Bad: Automated discovery of protocol attacks that..:

Cheval, Vincent ; Cremers, Cas ; Dax, Alexander...
hal-03795715.  , 2023
Link: https://hal.science/hal-..
 
?
15

Formal Analysis of Session-Handling in Secure Messaging: Li..:

Cremers, Cas ; Jacomme, Charlie ; Naska, Aurora
hal-03996689.  , 2023
Link: https://hal.science/hal-..
 
1-15