Search - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly

Filter your results

11 Results
Structure: Internal structure identifier : 15511
Image document

Using Task-Structured Probabilistic I/O Automata to Analyze Cryptographic Protocols

Ran Canetti , Ling Cheung , Dilsun Kaynar , Moses Liskov , Nancy Lynch et al.
Workshop on Formal and Computational Cryptography (FCC 2006), Véronique Cortier et Steve Kremer, Jul 2006, Venice/Italy
Conference papers inria-00080681v1
Image document

Parallel Implementations of Masking Schemes and the Bounded Moment Leakage Model

Gilles Barthe , François Dupressoir , Sebastian Faust , Benjamin Grégoire , François-Xavier Standaert et al.
Advances in Cryptology - {EUROCRYPT} 2017 - 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Apr 2017, Paris, France. pp.535--566
Conference papers hal-01414009v1
Image document

Romain Poussier - Evalutation d'Attaques par Canaux Cachés : Template VS Machine Learning

Poussier Romain , François-Xavier Standaert , Lerman Liran , Fanny Bastien
2014
Videos medihal-01346009v1
Image document

Multi-Use Unidirectional Proxy Re-Signatures

Benoît Libert , Damien Vergnaud
2008 ACM Conference on Computer and Communications Security, CCS 2008, 2008, Alexandria, United States. pp.511-520, ⟨10.1145/1455770.1455835⟩
Conference papers inria-00357568v1
Image document

Vincent Grosso - Comparaison de contre-mesures contre les attaques par canaux auxiliaires

Vincent Grosso , Sonia Belaïd , Poussier Romain , François-Xavier Standaert , Fanny Bastien et al.
2014
Videos medihal-01345984v1
Image document

Tracing Malicious Proxies in Proxy Re-Encryption

Benoît Libert , Damien Vergnaud
2nd International Conference on Pairing-based Cryptography - Pairing 2008, S. Galbraith, T. Okamoto, K. Paterson, Sep 2008, Egham, United Kingdom. pp.332-353, ⟨10.1007/978-3-540-85538-5_22⟩
Conference papers inria-00327353v1
Image document

Towards Black-Box Accountable Authority IBE with Short Ciphertexts and Private Keys

Benoît Libert , Damien Vergnaud
12th International Conference on Practice and Theory in Public-Key Cryptography - PKC 2009, 2009, Irvine, United States. pp.235-255
Conference papers inria-00356999v1

Adapting Helios for provable ballot secrecy

David Bernhard , Véronique Cortier , Olivier Pereira , Ben Smyth , Bogdan Warinschi et al.
16th European Symposium on Research in Computer Security (ESORICS'11), Sep 2011, Louvain, Belgium. pp.335-354, ⟨10.1007/978-3-642-23822-2_19⟩
Conference papers inria-00638554v1
Image document

MOE: Multiplication Operated Encryption with Trojan Resilience

Olivier Bronchain , Sebastian Faust , Virginie Lallemand , Gregor Leander , Léo Perrin et al.
IACR Transactions on Symmetric Cryptology, 2021, 2021 (1), pp.78-129. ⟨10.46586/tosc.v2021.i1.78-129⟩
Journal articles hal-03453550v1
Image document

Saturnin: a suite of lightweight symmetric algorithms for post-quantum security

Anne Canteaut , Sébastien Duval , Gaëtan Leurent , María Naya-Plasencia , Léo Perrin et al.
IACR Transactions on Symmetric Cryptology, 2020, Special Issue on Designs for the NIST Lightweight Standardisation Process, 2020 (S1), pp.160--207. ⟨10.13154/tosc.v2020.iS1.160-207⟩
Journal articles hal-03046716v1
Image document

One-Shot Fiat-Shamir-based NIZK Arguments of Composite Residuosity and Logarithmic-Size Ring Signatures in the Standard Model

Benoît Libert , Khoa Nguyen , Thomas Peters , Moti Yung
Eurocrypt 2022, May 2022, Trondheim, Norway. pp.488-519, ⟨10.1007/978-3-031-07085-3_17⟩
Conference papers hal-03726185v1