Damien Couroussé
Publications
Publications
|
|
Inference of Robust Reachability Constraints2024 ACM Symposium on Principles of Programming Languages, Jan 2024, London, United Kingdom. pp.2731-2760, ⟨10.1145/3632933⟩ |
|
|
µArchiFI: Formal modeling and verification strategies for microarchitetural fault injectionsFMCAD.23 - Formal Methods in Computer-Aided Design 2023, Oct 2023, Ames, IO, United States. pp.101-109, ⟨10.34727/2023/isbn.978-3-85448-060-0_18⟩ |
|
|
Exploration of fault effects on formal RISC-V microarchitecture modelsFTDC 2022 - Workshop on Fault Detection and Tolerance in Cryptography, Sep 2022, Virtual event, Italy. pp.73-83, ⟨10.1109/FDTC57191.2022.00017⟩ |
SCI-FI: Control Signal, Code, and Control Flow Integrity against Fault Injection Attacks2022 Design, Automation & Test in Europe Conference & Exhibition (DATE), Mar 2022, Antwerp, Belgium. pp.556-559, ⟨10.23919/DATE54114.2022.9774685⟩ |
|
|
|
PROSECCO: Formally-proven secure compiled codeC&ESAR 2021 : 28th Computer Electronics Security Application Rendezvous, Nov 2021, Rennes, France. pp.13-25 |
|
|
Deep learning side-channel analysis on large-scale tracesESORICS 2020: Computer Security, Sep 2020, Guildford, United Kingdom. pp.440-460, ⟨10.1007/978-3-030-58951-6_22⟩ |
All paths lead to Rome: Polymorphic Runtime Code Generation for Embedded SystemsFifth Workshop on Cryptography and Security in Computing Systems, Jan 2018, Manchester, United Kingdom. pp.17-18, ⟨10.1145/3178291.3178296⟩ |
|
Automated Combination of Tolerance and Control Flow Integrity Countermeasures against Multiple Fault AttacksEuropean LLVM Developers Meeting, Mar 2017, Saarbrücken, Germany |
|
The Multiple Ways to Automate the Application of Software Countermeasures against Physical Attacks : Pitfalls and GuidelinesCyber-Physical Security Education Workshop, Jul 2017, Paris, France |
|
|
|
Filtering-based CPA: a successful side-channel attack against desynchronization countermeasuresFourth Workshop on Cryptography and Security in Computing Systems (CS2 '17), Jan 2017, Stockholm, Sweden. pp.29-32, ⟨10.1145/3031836.3031842⟩ |
|
|
Compilation of a Countermeasure Against Instruction-Skip Fault AttacksWorkshop on Cryptography and Security in Computing Systems, Jan 2016, vienna, Austria. ⟨10.1145/2858930.2858931⟩ |
COGITO: Génération de code au runtime pour la sécurité des systèmes embarquéRessi 2016, May 2016, Toulouse, France |
|
|
|
Approximate Computing with Runtime Code Generation on Resource-Constrained Embedded Devices2nd Workshop On Approximate Computing (WAPCO 2016), Jan 2016, Vienna, Austria |
|
|
Compilation of a Countermeasure Against Instruction-Skip Fault AttacksThird Workshop on Cryptography and Security in Computing Systems, Jan 2016, Prague, Czech Republic. ⟨10.1145/2858930.2858931⟩ |
|
|
A Template Attack Against VERIFY PIN AlgorithmsSECRYPT 2016, Jul 2016, Lsbonne, Portugal. pp.231 - 238, ⟨10.5220/0005955102310238⟩ |
|
|
Pushing the Limits of Online Auto-tuning: Machine Code Optimization in Short-Running KernelsProceedings of MCSOC 2016. IEEE 10th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC-16), Sep 2016, Lyon, France |
|
|
Runtime Code Polymorphism as a Protection Against Side Channel Attacks10th IFIP International Conference on Information Security Theory and Practice (WISTP), Sep 2016, Heraklion, Greece. pp.136-152, ⟨10.1007/978-3-319-45931-8_9⟩ |
|
|
Self-optimisation using runtime code generation for wireless sensor networksInternational Conference on Distributed Computing and Networking (ICDCN 2016), Jan 2016, Singapore, Singapore. ⟨10.1145/2833312.2849557⟩ |
|
|
Self-optimisation using runtime code generation for Wireless Sensor Networks Internet-of-ThingsInternet-of-Things Symposium at ESWeek, Marilyn Wolf (Georgia Tech) Jason Xue (City University of Hong Kong), Oct 2015, Amsterdam, Netherlands |
Lightweight, dynamic, and flexible cipher scheme for wireless and mobile networksAd Hoc Networks. ADHOCNETS 2015. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Sep 2015, San remo, Italy. pp.225-236, ⟨10.1007/978-3-319-25067-0_18⟩ |
|
|
|
Compilation for the Composition of Software Protections for Embedded Systems5ème édition de la rencontre Crypto'Puce, May 2015, Île de Porquerolles, France |
Micro-architectural simulation of embedded core heterogeneity with gem5 and McPATRAPIDO '15 Proceedings of the 2015 Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, Jan 2015, Amsterdam, Netherlands. ⟨10.1145/2693433.2693440⟩ |
|
Micro-architectural simulation of in-order and out-of-order ARM microprocessors with gem52014 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV), Jul 2014, Agios Konstantinos, Greece. pp.266-273, ⟨10.1109/SAMOS.2014.6893220⟩ |
|
|
|
COGITO: Code Polymorphism to Secure DevicesSECRYPT2014: 11th International Conference on Security and Cryptography, Aug 2014, Vienne, Austria. pp.1-6, ⟨10.5220/0005113704510456⟩ |
|
|
deGoal a tool to embed dynamic code generators into applications23rd International Conference on Compiler Construction (CC), Apr 2014, Grenoble, France. pp.107-112, ⟨10.1007/978-3-642-54807-9_6⟩ |
Software acceleration of floating-point multiplication using runtime code generation - Student paper2013 4th Annual International Conference on Energy Aware Computing Systems and Applications (ICEAC), Dec 2013, Istanbul, Turkey. pp.18-23, ⟨10.1109/ICEAC.2013.6737630⟩ |
|
Perception of Virtual Multi-Sensory Objects: Some Musings on the Enactive ApproachCyberworlds 2008, Sep 2008, Hangzhou, China. pp.354-360, ⟨10.1109/CW.2008.107⟩ |
|
|
|
Functional Analysis of Haptic Devices4th International Conference on Enactive Interfaces 2007, Nov 2007, Grenoble, France. pp.57-60 |
|
|
A Real-Time Simulator for Virtual Reality conceived around Haptic Hard ConstraintsENACTIVE / 07 - International Conference on Enactive Interfaces, Nov 2007, Grenoble, France. pp.49-52 |
|
|
Perception of Virtual Multisensory Mobile Objects: Wandering around the Enactive Assumption4th International Conference on Enactive Interfaces 2007, Nov 2007, Grenoble, France. pp.153-156 |
|
|
Ergotic Sounds: A New Way to Improve Playability, Believability and Presence of Digital Musical InstrumentsENACTIVE / 07 - International Conference on Enactive Interfaces, Nov 2007, Grenoble, France. pp.373-376 |
|
|
Visual and Haptic Perception of Object Elasticity in a Virtual Squeezing EventEuroHaptics 2006 conference, Jul 2006, Paris, France. pp.47 |
|
|
Effect of stiffness on tapping performanceHaptics 2006, 2006, Arlington, United States. pp.65-72 |
|
|
A Basic Gesture and Motion Format for Virtual Reality Multisensory ApplicationsGRAPP 2006 - International Conference on Computer Graphics Theory and Applications, Feb 2006, Setúbal, Portugal. pp.349-356 |
|
|
Effect of stiffness on tapping performance. Do you rely on force to keep synchronised along with a metronome?2nd International Conference on Enactive Interfaces, 2005, Gênes, Italy. pp.10 |
|
|
ApproxRISC: An Approximate Computing Infrastructure For RISC-VRISC-V Workshop in Barcelona, May 2018, Barcelona, Spain |
|
|
Compiler-based Countermeasure Against Fault AttacksWorkshop on Cryptographic Hardware and Embedded Systems, Sep 2015, Saint-Malo, France. |
|
|
Runtime Code Polymorphism as a Protection against Physical AttacksWorkshop on Cryptographic Hardware and Embedded Systems, Sep 2015, Saint-Malo, France. |
|
|
Enaction and Enactive Interfaces: A Handbook of TermsAnnie Luciani; Claude Cadoz; Nicolas Castagné; Armen Khatchatourov. 2017, Enactive Systems Books, Annie Luciani, 978-2-9530856-0-0 |
|
|
Automatic Application of Software Countermeasures Against Physical AttacksÇetin Kaya Koç. Cyber-Physical Systems Security, Springer International Publishing, pp.135-155, 2018, 978-3-319-98934-1. ⟨10.1007/978-3-319-98935-8_7⟩ |
|
|
Introduction to Dynamic Code Generation an Experiment with Matrix Multiplication for the STHORM PlatformM. Torquati, K. Bertels, S. Karlsson, and F. Pacull. Smart Multicore Embedded Systems, Springer Verlag, 2013, ⟨10.1007/978-1-4614-8800-2_6⟩ |
|
|
Contact interactionEnaction and enactive interfaces : a handbook of terms, Enactive Systems Books, pp.55-56, 2007 |
|
|
Motion captureEnaction adn enactive interfaces : a handbook of terms, Enactive Systems Books, pp.201-203, 2007 |
|
|
Haptic BoardEnaction and enactive interfaces : a handbook of terms, Enactive Systems Books, pp.126-127, 2007 |
|
|
Mechanical impedanceEnaction and enactive interfaces : a handbook of terms, Enactive Systems Books, pp.194-196, 2007 |
|
|
CobotEnaction and enactive interfaces : a handbook of terms, Enactive Systems Books, pp.36-37, 2007 |
|
|
”Haptic Processor Unit” : vers une Plate-Forme Transportable pour la Simulation Temps-Réel Synchrone MultisensorielleInformatique [cs]. Institut National Polytechnique de Grenoble, 2008. Français. ⟨NNT : ⟩ |