Filter your results
- 32
- 16
- 34
- 10
- 2
- 1
- 1
- 47
- 3
- 1
- 5
- 7
- 4
- 4
- 4
- 1
- 8
- 3
- 1
- 2
- 1
- 3
- 1
- 2
- 1
- 42
- 6
- 31
- 16
- 7
- 6
- 6
- 4
- 4
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 48
- 12
- 10
- 10
- 7
- 6
- 6
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
48 Results
|
|
sorted by
|
High level model of control flow attacks for smart card functional securityAReS 2012 - 7th International Conference on Availability, Reliability and Security, Aug 2012, Prague, Czech Republic. pp.224-229, ⟨10.1109/ARES.2012.79⟩
Conference papers
hal-00721111v1
|
|||
|
Topology-Aware and Dependence-Aware Scheduling and Memory Allocation for Task-Parallel LanguagesACM Transactions on Architecture and Code Optimization, 2014, 11 (3), pp.30. ⟨10.1145/2641764⟩
Journal articles
hal-01136491v1
|
||
|
Automatic Detection of Performance Anomalies in Task-Parallel Programs1st Workshop on Resource Awareness and Adaptivity in Multi-Core Computing (Racing 2014), May 2014, Paderborn, Germany
Conference papers
hal-01136497v1
|
||
Side-channel robustness analysis of masked assembly codes using a symbolic approachJournal of Cryptographic Engineering, 2019, pp.1-12. ⟨10.1007/s13389-019-00205-7⟩
Journal articles
hal-02102873v1
|
|||
Compression de code pour processeurs haute-performanceSympA Symposium en Architecture de Machines, Sep 2009, Toulouse, France
Conference papers
hal-01295105v1
|
|||
|
Fault attacks on two software countermeasuresTRUDEVICE 2014, May 2014, Paderborn, Germany
Conference papers
emse-00998988v1
|
||
UFS : a global trade-off strategy for loop unrolling for VLIW architecturesConcurrency and Computation: Practice and Experience, 2006, 18 (11), pp.1413-1434. ⟨10.1002/cpe.1014⟩
Journal articles
istex
hal-01195877v1
|
|||
|
Experimental evaluation of two software countermeasures against fault attacks2014 IEEE International Symposium on Hardware-Oriented Security and Trust (HOST), May 2014, Arlington, United States. pp.112-117, ⟨10.1109/HST.2014.6855580⟩
Conference papers
emse-01032449v1
|
||
Étude de la sensibilité aux jeux de données de la compilation itérativeRevue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2008, 27 (6), pp.757-777. ⟨10.3166/tsi.27.757-777⟩
Journal articles
istex
hal-01195918v1
|
|||
|
Studying EM Pulse Effects on Superscalar Microarchitectures at ISA Level2019
Preprints, Working Papers, ...
hal-02102373v1
|
||
Sensibilité aux jeux de données de la compilation itérativeSympA Symposium en Architecture de Machines, Oct 2006, Perpignan, France. pp.35-46
Conference papers
hal-01338458v1
|
|||
Fault attack vulnerability assessment of binary codeCryptography and Security in Computing Systems (CS2’19), Jan 2019, Valencia, Spain. pp.13-18, ⟨10.1145/3304080.3304083⟩
Conference papers
hal-02163152v1
|
|||
Attack model for verification of interval security properties for smart card C codesPLAS '10 - 5th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, Jun 2010, Toronto, Canada. pp.2:1--2:12, ⟨10.1145/1814217.1814219⟩
Conference papers
hal-00476478v1
|
|||
Electromagnetic fault injection on microcontrollersChip-to-Cloud Security Forum 2013, Sep 2013, Nice, France
Conference papers
emse-00871686v1
|
|||
|
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
|
||
Using runtime activity to dynamically filter out inefficient data prefetchesEuro-Par European Conference on Parallel computing, Sep 2011, Bordeaux, France. pp.338-350, ⟨10.1007/978-3-642-23400-2_31⟩
Conference papers
istex
hal-01285659v1
|
|||
|
Scalable Task Parallelism for NUMA: A Uniform Abstraction for Coordinated Scheduling and Memory ManagementPACT'16 - ACM/IEEE Conference on Parallel Architectures and Compilation Techniques, Sep 2016, Haifa, Israel. pp.125 - 137, ⟨10.1145/2967938.2967946⟩
Conference papers
hal-01425743v1
|
||
|
Symbolic Approach for Side-Channel Resistance Analysis of Masked Assembly CodesSecurity Proofs for Embedded Systems, Sep 2017, Taipei, China
Conference papers
hal-01612463v1
|
||
|
Efficient Design and Evaluation of Countermeasures against Fault Attack with Formal Verification14th International conference Smart Card Research and Advanced Applications (CARDIS), Nov 2015, Bochum, Germany. pp.177-192, ⟨10.1007/978-3-319-31271-2_11⟩
Conference papers
hal-01220291v1
|
||
|
Software countermeasures for control flow integrity of smart card C codesESORICS - 19th European Symposium on Research in Computer Security, Sep 2014, Wroclaw, Poland. pp.200-218, ⟨10.1007/978-3-319-11212-1_12⟩
Conference papers
hal-01059201v1
|
||
|
Formal verification of a software countermeasure against instruction skip attacksJournal of Cryptographic Engineering, 2014, 4 (3), pp.145-156. ⟨10.1007/s13389-014-0077-7⟩
Journal articles
emse-00951386v1
|
||
|
Electromagnetic fault injection: towards a fault model on a 32-bit microcontroller10th workshop on Fault Diagnosis and Tolerance in Cryptography - FDTC 2013, Aug 2013, Santa-Barbara, United States. pp.77-88, ⟨10.1109/FDTC.2013.9⟩
Conference papers
emse-00871218v2
|
||
|
A First ISA-Level Characterization of EM Pulse Effects on Superscalar MicroarchitecturesARES 2019 - 14th International Conference on Availability, Reliability and Security, Aug 2019, Canterbury, United Kingdom. pp.7:1--7:10, ⟨10.1145/3339252.3339253⟩
Conference papers
hal-02373088v1
|
||
|
Language-Centric Performance Analysis of OpenMP Programs with AftermathIWOMP 2016 - 12th International Workshop on OpenMP, Oct 2016, Nara, Japan. pp.237-250, ⟨10.1007/978-3-319-45550-1_17⟩
Conference papers
hal-01343686v1
|
||
Vers une méthode adaptative de préchargement de donnéesSympA Symposium en Architecture de Machines, Sep 2009, Toulouse, France
Conference papers
hal-01295104v1
|
|||
Parallélisation supervisée pour les multicoeurs embarquésSympA Symposium en Architecture de Machines, Sep 2009, Toulouse, France
Conference papers
hal-01295106v1
|
|||
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
|
|||
|
NUMA-aware scheduling and memory allocation for data-flow task-parallel applicationsACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Mar 2016, Barcelona, Spain. ACM New York, NY, USA, Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pp.44:1-44:2, 2016, ⟨10.1145/2851141.2851193⟩
Poster communications
hal-01365746v1
|
||
Aftermath: Performance analysis of task-parallel applications on many-core NUMA systemsTenth International Summer School on Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems, Jul 2014, Fiuggi, Italy. 2014
Poster communications
hal-01136519v1
|
|||
|
SELA: a Symbolic Expression Leakage AnalyzerInternational Workshop on Security Proofs for Embedded Systems, Sep 2020, Visioconference, France
Conference papers
hal-02983213v1
|
- 1
- 2