› Systematic, automated discovery of security protocol attacks that exploit weaknesses in common hash functions - Charlie Jacomme, CISPA
10:30-10:50 (20min)
› A comprehensive security analysis of the Belenios protocol and more - Alexandre Debant, Inria Nancy - Grand Est
10:50-11:10 (20min)
› Formal analysis of LAKE-EDHOC - Maïwenn Racouchot, Racouchot - Elise Klein, Klein
11:10-11:30 (20min)
› Improving Static Analysis Precision by Minimal Program Refinement - Charles Babu M, Univ. Paris-Saclay, CEA, List, Saclay, France
15:30-15:50 (20min)
› Assessing bug replicability for more security-minded bug finding - Guillaume Girol, Laboratoire Sûreté des Logiciels
15:50-16:10 (20min)
› Efficient Symbolic Algorithms for Software Verification Against Fault Attacks - Soline Ducousso, Univ. Paris-Saclay, CEA, List, Saclay, France
16:10-16:30 (20min)
› Model Checking of Vulnerabilities in SmartContracts: A Solidity-to-CPN Approach Extended Abstract -
17:20-17:40 (20min)
› Verifying Redundant-Check Based Countermeasures: A Case Study - Thibault Martin, CEA LIST - Nikolai Kosmatov, Thales Research and Technology - Virgile Prevosto, CEA LIST
17:40-18:00 (20min)
› Analyse de contre-mesures dans le cadre d'attaques multiples - Etienne Boespflug, VERIMAG
16:00-16:20 (20min)
› Stack smashing analysis by abstract interpretation of binary code - Julien Forget, Analyse symbolique et conception orientée composants pour des systèmes embarqués temps-réel modulaires
16:20-16:40 (20min)
› Sound Static Analysis of Regular Expressions for Vulnerabilities to Denial of Service Attacks - Francesco Parolini, Sorbonne University
16:40-17:00 (20min)
› Mechanized Proofs of Adversarial Complexity and Application to Universal Composability - Adrien Koutsos, Programming securely with cryptography
16:30-16:50 (20min)
› A Formalization of the Proof of Correctness of a Number-Theoretic Transform in the Context of the Hakyber Cryptographic Primitive - Antoine Séré, Institut Polytechnique de Paris
16:50-17:10 (20min)
› CV2EC: Getting the Best of Two Worlds - Benjamin Grégoire, Inria Sophia Antipolis, Université Côte d'Azur
17:10-17:30 (20min)
Loading... 
