
Damien Couroussé
53
Documents
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⟩
Communication dans un congrès
hal-04477919
v1
|
|
µ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-04215728
v2
|
|
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-03852138
v1
|
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-03690200
v1
|
|
|
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-03605070
v1
|
|
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-03483683
v1
|
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-02011053
v1
|
|
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-01660160
v1
|
|
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-01660155
v1
|
|
|
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-01490735
v1
|
|
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-01271252
v1
|
|
A Template Attack Against VERIFY PIN AlgorithmsSECRYPT 2016, Jul 2016, Lsbonne, Portugal. pp.231 - 238, ⟨10.5220/0005955102310238⟩
Communication dans un congrès
hal-01383143
v1
|
|
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-01296569
v1
|
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-01405776
v1
|
|
|
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-01296572
v1
|
|
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-01389137
v1
|
|
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-01372223
v1
|
|
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-01296568
v1
|
|
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-01273410
v1
|
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-01832763
v1
|
|
|
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-01240865
v1
|
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-01818887
v1
|
|
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-01817868
v1
|
|
|
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-01072039
v1
|
|
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-01068248
v1
|
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-01836862
v1
|
|
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-00437629
v1
|
|
|
Functional Analysis of Haptic Devices4th International Conference on Enactive Interfaces 2007, Nov 2007, Grenoble, France. pp.57-60
Communication dans un congrès
hal-00439415
v1
|
|
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-00439421
v1
|
|
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-00439424
v1
|
|
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-00440953
v1
|
|
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-00484468
v1
|
|
Effect of stiffness on tapping performanceHaptics 2006, 2006, Arlington, United States. pp.65-72
Communication dans un congrès
hal-00910634
v1
|
|
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-00486199
v1
|
|
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-00910629
v1
|
|
ApproxRISC: An Approximate Computing Infrastructure For RISC-VRISC-V Workshop in Barcelona, May 2018, Barcelona, Spain
Poster de conférence
cea-01893469
v1
|
|
Compiler-based Countermeasure Against Fault AttacksWorkshop on Cryptographic Hardware and Embedded Systems, Sep 2015, Saint-Malo, France.
Poster de conférence
emse-01232664
v1
|
|
Runtime Code Polymorphism as a Protection against Physical AttacksWorkshop on Cryptographic Hardware and Embedded Systems, Sep 2015, Saint-Malo, France.
Poster de conférence
emse-01232662
v1
|
|
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
(dictionnaire, encyclopédie)
hal-04070302
v1
|
|
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-01951305
v1
|
|
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-01228147
v1
|
|
Motion captureEnaction adn enactive interfaces : a handbook of terms, Enactive Systems Books, pp.201-203, 2007
Chapitre d'ouvrage
hal-00978981
v1
|
|
Contact interactionEnaction and enactive interfaces : a handbook of terms, Enactive Systems Books, pp.55-56, 2007
Chapitre d'ouvrage
hal-00978955
v1
|
|
Haptic BoardEnaction and enactive interfaces : a handbook of terms, Enactive Systems Books, pp.126-127, 2007
Chapitre d'ouvrage
hal-00978962
v1
|
|
Mechanical impedanceEnaction and enactive interfaces : a handbook of terms, Enactive Systems Books, pp.194-196, 2007
Chapitre d'ouvrage
hal-00978979
v1
|
|
CobotEnaction and enactive interfaces : a handbook of terms, Enactive Systems Books, pp.36-37, 2007
Chapitre d'ouvrage
hal-00978947
v1
|
|
”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-01245110
v1
|
Chargement...
Chargement...