Damien Couroussé
53
Documents
Publications
|
Inference of Robust Reachability Constraints2024 ACM Symposium on Principles of Programming Languages, Jan 2024, London, United Kingdom. pp.2731-2760, ⟨10.1145/3632933⟩
Conference papers
hal-04477919v1
|
|
µ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⟩
Conference papers
cea-04215728v2
|
|
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⟩
Conference papers
cea-03852138v1
|
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⟩
Conference papers
hal-03690200v1
|
|
|
PROSECCO: Formally-proven secure compiled codeC&ESAR 2021 : 28th Computer Electronics Security Application Rendezvous, Nov 2021, Rennes, France. pp.13-25
Conference papers
cea-03605070v1
|
|
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⟩
Conference papers
cea-03483683v1
|
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⟩
Conference papers
emse-02011053v1
|
|
The Multiple Ways to Automate the Application of Software Countermeasures against Physical Attacks : Pitfalls and Guidelines Cyber-Physical Security Education Workshop, Jul 2017, Paris, France
Conference papers
hal-01660155v1
|
|
Automated Combination of Tolerance and Control Flow Integrity Countermeasures against Multiple Fault AttacksEuropean LLVM Developers Meeting, Mar 2017, Saarbrücken, Germany
Conference papers
hal-01660160v1
|
|
|
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⟩
Conference papers
emse-01490735v1
|
|
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⟩
Conference papers
emse-01372223v1
|
|
Self-optimisation using runtime code generation for wireless sensor networks International Conference on Distributed Computing and Networking (ICDCN 2016), Jan 2016, Singapore, Singapore. ⟨10.1145/2833312.2849557⟩
Conference papers
cea-01296568v1
|
|
Compilation of a Countermeasure Against Instruction-Skip Fault AttacksWorkshop on Cryptography and Security in Computing Systems, Jan 2016, vienna, Austria. ⟨10.1145/2858930.2858931⟩
Conference papers
cea-01296572v1
|
|
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
Conference papers
hal-01389137v1
|
|
A Template Attack Against VERIFY PIN AlgorithmsSECRYPT 2016, Jul 2016, Lsbonne, Portugal. pp.231 - 238, ⟨10.5220/0005955102310238⟩
Conference papers
hal-01383143v1
|
|
Approximate Computing with Runtime Code Generation on Resource-Constrained Embedded Devices2nd Workshop On Approximate Computing (WAPCO 2016), Jan 2016, Vienna, Austria
Conference papers
cea-01296569v1
|
|
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⟩
Conference papers
emse-01271252v1
|
COGITO: Génération de code au runtime pour la sécurité des systèmes embarquéRessi 2016, May 2016, Toulouse, France
Conference papers
hal-01405776v1
|
|
|
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
Conference papers
cea-01240865v1
|
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⟩
Conference papers
cea-01832763v1
|
|
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⟩
Conference papers
cea-01818887v1
|
|
|
Compilation for the Composition of Software Protections for Embedded Systems5ème édition de la rencontre Crypto'Puce, May 2015, Île de Porquerolles, France
Conference papers
cea-01273410v1
|
Micro-architectural simulation of in-order and out-of-order ARM microprocessors with gem5 2014 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⟩
Conference papers
cea-01817868v1
|
|
|
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⟩
Conference papers
hal-01068248v1
|
|
COGITO: Code Polymorphism to Secure DevicesSECRYPT2014: 11th International Conference on Security and Cryptography, Aug 2014, Vienne, Austria. pp.1-6, ⟨10.5220/0005113704510456⟩
Conference papers
emse-01072039v1
|
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⟩
Conference papers
cea-01836862v1
|
|
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⟩
Conference papers
hal-00437629v1
|
|
|
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
Conference papers
hal-00440953v1
|
|
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
Conference papers
hal-00439424v1
|
|
Perception of Virtual Multisensory Mobile Objects: Wandering around the Enactive Assumption4th International Conference on Enactive Interfaces 2007, Nov 2007, Grenoble, France. pp.153-156
Conference papers
hal-00439421v1
|
|
Functional Analysis of Haptic Devices4th International Conference on Enactive Interfaces 2007, Nov 2007, Grenoble, France. pp.57-60
Conference papers
hal-00439415v1
|
|
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
Conference papers
hal-00486199v1
|
|
Effect of stiffness on tapping performanceHaptics 2006, 2006, Arlington, United States. pp.65-72
Conference papers
hal-00910634v1
|
|
Visual and Haptic Perception of Object Elasticity in a Virtual Squeezing EventEuroHaptics 2006 conference, Jul 2006, Paris, France. pp.47
Conference papers
hal-00484468v1
|
|
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
Conference papers
hal-00910629v1
|
|
ApproxRISC: An Approximate Computing Infrastructure For RISC-VRISC-V Workshop in Barcelona, May 2018, Barcelona, Spain
Conference poster
cea-01893469v1
|
|
Runtime Code Polymorphism as a Protection against Physical AttacksConference poster emse-01232662v1 |
|
Compiler-based Countermeasure Against Fault AttacksConference poster emse-01232664v1 |
|
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
Books
hal-04070302v1
|
|
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⟩
Book sections
hal-01951305v1
|
|
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⟩
Book sections
hal-01228147v1
|
|
CobotEnaction and enactive interfaces : a handbook of terms, Enactive Systems Books, pp.36-37, 2007
Book sections
hal-00978947v1
|
|
Mechanical impedanceEnaction and enactive interfaces : a handbook of terms, Enactive Systems Books, pp.194-196, 2007
Book sections
hal-00978979v1
|
|
Haptic BoardEnaction and enactive interfaces : a handbook of terms, Enactive Systems Books, pp.126-127, 2007
Book sections
hal-00978962v1
|
|
Motion captureEnaction adn enactive interfaces : a handbook of terms, Enactive Systems Books, pp.201-203, 2007
Book sections
hal-00978981v1
|
|
Contact interactionEnaction and enactive interfaces : a handbook of terms, Enactive Systems Books, pp.55-56, 2007
Book sections
hal-00978955v1
|
|
”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 : ⟩
Theses
tel-01245110v1
|