Recherche - Sorbonne Université

Filtrer vos résultats

6 résultats
Page :
triés par
Image document

Fast Secure Computations on Shared Polynomials and Applications to Private Set Operations

 Pascal Giorgi , Fabien Laguillaumie , Lucas Ottow , Damien Vergnaud
ITC 2024 - 5th Information-Theoretic Cryptography Conference, Aug 2024, Stanford, CA, United States
Communication dans un congrès lirmm-04593144v1
Image document

Generation of Violation Witnesses by Under-Approximating Abstract Interpretation

 Marco Milanese , Antoine Miné
25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, Jan 2024, London, United Kingdom. pp.50-73, ⟨10.1007/978-3-031-50524-9_3⟩
Communication dans un congrès hal-04317611v1
Image document

Under-approximating Memory Abstractions

 Marco Milanese , Antoine Miné
2024
Pré-publication, Document de travail hal-04670146v1
Image document

Algorithm xxx: Evaluating a Boolean Polynomial on All Possible Inputs

 Charles Bouillaguet
ACM Transactions on Mathematical Software, In press, ⟨10.1145/3699957⟩
Article dans une revue hal-04418528v2
Image document

Faster Signatures from MPC-in-the-Head

 Dung Bui , Eliana Carozza , Geoffroy Couteau , Dahmun Goudarzi , Antoine Joux
ASIACRYPT 2024 - International Conference on the Theory and Application of Cryptology and Information Security, Dec 2024, Kolkata, India
Communication dans un congrès hal-04770548v1
Image document

Fault-resistant partitioning of secure CPUs for system Co-verification against faults

 Simon Tollec , Vedad Hadžić , Pascal Nasahl , Mihail Asavoae , Roderick Bloem , et al.
IACR Transactions on Cryptographic Hardware and Embedded Systems, 2024, 2024 (4), pp.179-204. ⟨10.46586/tches.v2024.i4.179-204⟩
Article dans une revue cea-04706853v1
Page :