2024    2023    2022    2021    2020   

2021

Workshop/conference papers

121 - 

On finality in blockchains

Emmanuelle Anceaume, Antonella Del Pozzo, Thibault Rieutord, Sara Tucci-Piergiovanni

OPODIS 2021 - 25th Conference on Principles of Distributed Systems, Dec 2021, Strasbourg, France. ⟨cea-03080029v5⟩

 

122 - 

BrFAST: a Tool to Select Browser Fingerprinting Attributes for Web Authentication According to a Usability-Security Trade-off

Nampoina Andriamilanto, Tristan Allard

Companion Proceedings of the Web Conference 2021 (WWW ’21 Companion), Apr 2021, Ljubljana, Slovenia.

DOI : https://doi.org/10.1145/3442442.3458610

 

123 - 

How to (Legally) Keep Secrets from Mobile Operators

Ghada Arfaoui, Olivier Blazy, Xavier Bultel, Pierre-Alain Fouque, Thibaut Jacques, Adina Nedelcu, Cristina Onete

Computer Security - ESORICS 2021 - 26th European Symposium on Research in Computer Security, Darmstadt, Germany, October 4-8, 2021, Proceedings, Part I, 2021, Online, Unknown Region. pp.23--43,

DOI : https://doi.org/10.1007/978-3-030-88418-5_2

 

124 - 

An Interactive Prover for Protocol Verification in the Computational Model

David Baelde, Stéphanie Delaune, Charlie Jacomme, Adrien Koutsos, Solène Moreau

SP 2021 - 42nd IEEE Symposium on Security and Privacy, May 2021, San Fransisco / Virtual, United States.

 

125 - 

Ransomware Detection Using Markov Chain Models Over File Headers

Nicolas Bailluet, Hélène Le Bouder, David Lubicz

SECRYPT 2019 : 16th International Conference on Security and Cryptography, Jul 2021, visioconference, Portugal.

DOI : https://doi.org/10.5220/0010513104030411

 

126 - 

Secure Compilation of Constant-Resource Programs

Gilles Barthe, Sandrine Blazy, Rémi Hutin, David Pichardie

CSF 2021 - 34th IEEE Computer Security Foundations Symposium, Jun 2021, Dubrovnik, Croatia. pp.1-12.

 

127 - 

SpecK: Composition of Stream Processing Applications over Fog Environments

Davaadorj Battulga, Daniele Miorandi, Cédric Tedeschi

DAIS 2021 - 21st International Conference on Distributed Applications and Interoperable Systems, Jun 2021, Valetta, Malta. pp.38-54,

DOI : https://doi.org/10.1007/978-3-030-78198-9_3

 

128 - 

Cryptanalysis of the GPRS Encryption Algorithms GEA-1 and GEA-2

Christof Beierle, Patrick Derbez, Gregor Leander, Gaëtan Leurent, Håvard Raddum, Yann Rotella, David Rupprecht, Lukas Stennes

EUROCRYPT 2021 - 40th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Oct 2021, Zagreb, Croatia. pp.155-183,

DOI : https://doi.org/10.1007/978-3-030-77886-6_6

 

129 - 

From Monolithic to Microservice Architecture: The Case of Extensible and Domain-Specific IDEs

Romain Belafia, Pierre Jeanjean, Olivier Barais, Gurvan Le Guernic, Benoit Combemale

MODELS 2021: ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems, Oct 2021, Virtual, Japan. pp.1-10.

 

130 - 

Implementation of Lattice Trapdoors on Modules and Applications

Pauline Bert, Gautier Eberhart, Lucas Prabel, Adeline Roux-Langlois, Mohamed Sabt

PQCrypto 2021 - International Conference on Post-Quantum Cryptography, Jul 2021, Virtual event, France. pp.195 - 214,

DOI : https://doi.org/10.1007/978-3-030-81293-5_11