Skip to Main content Skip to Navigation
New interface

hal-03867187v1  Conference papers
Benjamin BinderMihail AsavoaeFlorian BrandnerBelgacem Ben HediaMathieu Jan. The Role of Causality in a Formal Definition of Timing Anomalies
2022 IEEE 28th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Aug 2022, Taipei, France. pp.91-102, ⟨10.1109/RTCSA55878.2022.00016⟩
hal-03801012v1  Conference papers
Hassan ChaitouJean LeneutreLaurent Pautet. Threats to Adversarial Training for IDSs and Mitigation
19th International Conference on Security and Cryptography, Jul 2022, Lisbon, France. pp.226-236, ⟨10.5220/0011277600003283⟩
hal-03800662v1  Book sections
Mark AbspoelRonald CramerIvan DamgårdDaniel EscuderoMatthieu Rambaud et al.  Asymptotically Good Multiplicative LSSS over Galois Rings and Applications to MPC over Z/pkZ
Advances in Cryptology – ASIACRYPT 2020, 12493, Springer International Publishing, pp.151-180, 2020, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-64840-4_6⟩
hal-03800650v1  Conference papers
Mark AbspoelThomas AttemaMatthieu Rambaud. Brief Announcement: Malicious Security Comes for Free in Consensus with Leaders
PODC '21: ACM Symposium on Principles of Distributed Computing, Jul 2021, Virtual Event Italy, France. pp.195-198, ⟨10.1145/3465084.3467953⟩
hal-03800642v1  Book sections
Ronald CramerMatthieu RambaudChaoping Xing. Asymptotically-Good Arithmetic Secret Sharing over Z/pℓZ with Strong Multiplication and Its Applications to Efficient MPC
Advances in Cryptology – CRYPTO 2021, 12827, Springer International Publishing, pp.656-686, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-84252-9_22⟩
hal-03800630v1  Book sections
Thomas AttemaRonald CramerMatthieu Rambaud. Compressed Σ-Protocols for Bilinear Group Arithmetic Circuits and Application to Logarithmic Transparent Threshold Signatures
Advances in Cryptology – ASIACRYPT 2021, 13093, Springer International Publishing, pp.526-556, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-92068-5_18⟩
hal-03779036v1  Book sections
Wojciech JamrogaDamian KurpiewskiVadim Malvone. Natural Strategic Abilities in Voting Protocols
Socio-Technical Aspects in Security and Trust, 12812, Springer International Publishing, pp.45-62, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-79318-0_3⟩
hal-03779034v1  Conference papers
Francesco BelardinelliBorja G. LeónVadim Malvone. Enabling Markovian Representations under Imperfect Information
14th International Conference on Agents and Artificial Intelligence (ICAART 2022), Feb 2022, Online Streaming, France. pp.450-457, ⟨10.5220/0010882200003116⟩
hal-03775550v1  Conference papers
Hassan ChaitouThomas RobertJean LeneutreLaurent Pautet. Assessing adversarial training effect on IDSs and GANs
2021 IEEE International Conference on Cyber Security and Resilience (CSR) Workshop on Resilient Artificial Intelligence, Jul 2021, Rhodes, France. pp.543-550, ⟨10.1109/CSR51186.2021.9527949⟩
hal-03758375v1  Conference papers
Maxime AyraultEtienne BordeUlrich KühneJean Leneutre. Moving Target Defense Strategy in Critical Embedded Systems: A Game-theoretic Approach
2021 IEEE 26th Pacific Rim International Symposium on Dependable Computing (PRDC), Dec 2021, Perth, Australia. pp.27-36, ⟨10.1109/PRDC53464.2021.00014⟩
hal-03702493v1  Conference papers
Felipe Lisboa MalaquiasMihail AsavoaeFlorian Brandner. A Coq Framework for More Trustworthy DRAM Controllers
RTNS 2022: The 30th International Conference on Real-Time Networks and Systems, Jun 2022, Paris France, France. pp.140-150, ⟨10.1145/3534879.3534907⟩
hal-03629047v1  Conference papers
Romain GratiaThomas RobertLaurent Pautet. Generalized mixed-criticality scheduling based on RUN
23rd International Conference on Real-Time Networks and Systems (RTNS '15), Nov 2015, Lille France, France. pp.267-276, ⟨10.1145/2834848.2834873⟩
hal-03628457v1  Proceedings
Joaquin Garcia‐alfaroJean LeneutreNora CuppensReda Yaich. Risks and security of internet and systems
CRISIS 2020: 15th International Conference on Risks and Security of Internet and Systems, Nov 2020, Paris, France. 12528, Springer, pp.xi-378, 2021, Lecture Notes in Computer Science (LNCS), 978-3-030-68886-8. ⟨10.1007/978-3-030-68887-5⟩
hal-03569465v1  Journal articles
Sihem MesnagerBimal MandalMounira Msahli. Survey on recent trends towards generalized differential and boomerang uniformities
Cryptography and Communications - Discrete Structures, Boolean Functions and Sequences , 2021, ⟨10.1007/s12095-021-00551-6⟩
hal-03569438v1  Book sections
Laetitia DebesseSihem MesnagerMounira Msahli. POSTER: Resistance Analysis of Two AES-Like Against the Boomerang Attack
Applied Cryptography and Network Security Workshops, 12809, Springer International Publishing, pp.485-489, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-81645-2_27⟩
hal-03569422v1  Conference papers
Mounira MsahliBadr Eddine BoukariAkshaya Ravi. Machine Learning Detection for SMiShing Frauds
2021 IEEE 18th Annual Consumer Communications & Networking Conference (CCNC), Jan 2021, Las Vegas, France. pp.1-2, ⟨10.1109/CCNC49032.2021.9369640⟩
hal-03560232v1  Conference papers
Petr KuznetsovVitaly AksenovVincent GramoliSrivatsan Ravi. Optimal Concurrency for List-Based Sets
Parallel Computing Technologies - 16th International Conference, Sep 2021, Kaliningrad, Russia
hal-03559899v1  Conference papers
Florian BrandnerBenjamin BinderMihail AsavoaeBelgacem Ben HediaMathieu Jan. Is This Still Normal? Putting Definitions of Timing Anomalies to the Test
2021 IEEE 27th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Aug 2021, Houston, France. pp.139-148, ⟨10.1109/RTCSA52859.2021.00024⟩
hal-03559711v1  Conference papers
Dongmin SonSawsan Al ZahrGerard Memmi. Performance Analysis of an Energy Trading Platform Using the Ethereum Blockchain
2021 IEEE International Conference on Blockchain and Cryptocurrency (ICBC), May 2021, Sydney, France. pp.1-3, ⟨10.1109/ICBC51069.2021.9461115⟩
hal-03559687v1  Conference papers
Xiao WuHan QiuShuyi ZhangGerard MemmiKeke Gai et al.  ChainIDE 2.0: Facilitating Smart Contract Development for Consortium Blockchain
IEEE INFOCOM 2020 - IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS), Jul 2020, Toronto, France. pp.388-393, ⟨10.1109/INFOCOMWKSHPS50562.2020.9163051⟩
hal-03559661v1  Book sections
Qinkai ZhengHan QiuTianwei ZhangGerard MemmiMeikang Qiu et al.  Resisting Adversarial Examples via Wavelet Extension and Denoising
Smart Computing and Communication, 12608, Springer International Publishing, pp.204-214, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-74717-6_22⟩