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⟩
Communication dans un congrès
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⟩
Communication dans un congrès
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⟩
Communication dans un congrès
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⟩
Communication dans un congrès
hal-03690200v1
|
|
|
PROSECCO: Formally-proven secure compiled codeC&ESAR 2021 : 28th Computer Electronics Security Application Rendezvous, Nov 2021, Rennes, France. pp.13-25
Communication dans un congrès
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⟩
Communication dans un congrès
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⟩
Communication dans un congrès
emse-02011053v1
|
|
|
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⟩
Communication dans un congrès
emse-01490735v1
|
Automated Combination of Tolerance and Control Flow Integrity Countermeasures against Multiple Fault AttacksEuropean LLVM Developers Meeting, Mar 2017, Saarbrücken, Germany
Communication dans un congrès
hal-01660160v1
|
|
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
Communication dans un congrès
hal-01660155v1
|
|
|
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⟩
Communication dans un congrès
cea-01296568v1
|
|
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⟩
Communication dans un congrès
emse-01372223v1
|
|
Approximate Computing with Runtime Code Generation on Resource-Constrained Embedded Devices2nd Workshop On Approximate Computing (WAPCO 2016), Jan 2016, Vienna, Austria
Communication dans un congrès
cea-01296569v1
|
COGITO: Génération de code au runtime pour la sécurité des systèmes embarquéRessi 2016, May 2016, Toulouse, France
Communication dans un congrès
hal-01405776v1
|
|
|
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⟩
Communication dans un congrès
emse-01271252v1
|
|
A Template Attack Against VERIFY PIN AlgorithmsSECRYPT 2016, Jul 2016, Lsbonne, Portugal. pp.231 - 238, ⟨10.5220/0005955102310238⟩
Communication dans un congrès
hal-01383143v1
|
|
Compilation of a Countermeasure Against Instruction-Skip Fault AttacksWorkshop on Cryptography and Security in Computing Systems, Jan 2016, vienna, Austria. ⟨10.1145/2858930.2858931⟩
Communication dans un congrès
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
Communication dans un congrès
hal-01389137v1
|
|
Compilation for the Composition of Software Protections for Embedded Systems5ème édition de la rencontre Crypto'Puce, May 2015, Île de Porquerolles, France
Communication dans un congrès
cea-01273410v1
|
|
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
Communication dans un congrès
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⟩
Communication dans un congrès
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⟩
Communication dans un congrès
cea-01818887v1
|
|
|
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⟩
Communication dans un congrès
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⟩
Communication dans un congrès
emse-01072039v1
|
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⟩
Communication dans un congrès
cea-01817868v1
|
|
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⟩
Communication dans un congrès
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⟩
Communication dans un congrès
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
Communication dans un congrès
hal-00440953v1
|
|
Functional Analysis of Haptic Devices4th International Conference on Enactive Interfaces 2007, Nov 2007, Grenoble, France. pp.57-60
Communication dans un congrès
hal-00439415v1
|
|
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
Communication dans un congrès
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
Communication dans un congrès
hal-00439421v1
|
|
Effect of stiffness on tapping performanceHaptics 2006, 2006, Arlington, United States. pp.65-72
Communication dans un congrès
hal-00910634v1
|
|
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
Communication dans un congrès
hal-00486199v1
|
|
Visual and Haptic Perception of Object Elasticity in a Virtual Squeezing EventEuroHaptics 2006 conference, Jul 2006, Paris, France. pp.47
Communication dans un congrès
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
Communication dans un congrès
hal-00910629v1
|
|
ApproxRISC: An Approximate Computing Infrastructure For RISC-VRISC-V Workshop in Barcelona, May 2018, Barcelona, Spain
Poster de conférence
cea-01893469v1
|
|
Compiler-based Countermeasure Against Fault AttacksPoster de conférence emse-01232664v1 |
|
Runtime Code Polymorphism as a Protection against Physical AttacksPoster de conférence emse-01232662v1 |
|
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
Ouvrages
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⟩
Chapitre d'ouvrage
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⟩
Chapitre d'ouvrage
hal-01228147v1
|
|
Haptic BoardEnaction and enactive interfaces : a handbook of terms, Enactive Systems Books, pp.126-127, 2007
Chapitre d'ouvrage
hal-00978962v1
|
|
Contact interactionEnaction and enactive interfaces : a handbook of terms, Enactive Systems Books, pp.55-56, 2007
Chapitre d'ouvrage
hal-00978955v1
|
|
Motion captureEnaction adn enactive interfaces : a handbook of terms, Enactive Systems Books, pp.201-203, 2007
Chapitre d'ouvrage
hal-00978981v1
|
|
Mechanical impedanceEnaction and enactive interfaces : a handbook of terms, Enactive Systems Books, pp.194-196, 2007
Chapitre d'ouvrage
hal-00978979v1
|
|
CobotEnaction and enactive interfaces : a handbook of terms, Enactive Systems Books, pp.36-37, 2007
Chapitre d'ouvrage
hal-00978947v1
|
|
”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 : ⟩
Thèse
tel-01245110v1
|