Filter your results
- 87
- 32
- 1
- 57
- 27
- 15
- 6
- 5
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 120
- 1
- 1
- 1
- 1
- 2
- 4
- 18
- 36
- 57
- 1
- 1
- 116
- 4
- 120
- 120
- 9
- 8
- 6
- 6
- 5
- 4
- 4
- 3
- 3
- 3
- 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
- 40
- 26
- 14
- 13
- 11
- 10
- 9
- 9
- 9
- 8
- 7
- 7
- 6
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 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
|
On the optimality and practicability of mutual information analysis in some scenariosCryptography and Communications - Discrete Structures, Boolean Functions and Sequences , 2018, 10 (1), pp.101-121. ⟨10.1007/s12095-017-0241-x⟩
Journal articles
hal-03750327v1
|
||
|
On the Expressiveness of Joining and SplittingModels, Mindsets, Meta: The What, the How, and the Why Not?, LNCS-11200, Springer, pp.326-355, 2018, Lecture Notes in Computer Science, 978-3-030-22347-2. ⟨10.1007/978-3-030-22348-9_20⟩
Book sections
hal-01955922v1
|
||
|
Improving Side-Channel Analysis through Semi-Supervised LearningCARDIS 2018 - 17th Smart Card Research and Advanced Application Conference, Nov 2018, Montpellier, France
Conference papers
hal-02011351v1
|
||
|
SBIP 2.0: Statistical Model Checking Stochastic Real-time SystemsATVA 2018 - 16th International Symposium Automated Technology for Verification and Analysis, Oct 2018, Los Angeles, CA, United States. pp.536-542, ⟨10.1007/978-3-030-01090-4_33⟩
Conference papers
hal-01888538v1
|
||
|
Application of machine learning techniques to side-channel analysis on code-based cryptography[Research Report] Univ Rennes, Inria, CNRS, IRISA. 2018
Reports
hal-02017561v1
|
||
|
MASSE: Modular Automated Syntactic Signature ExtractionRESSI 2019 - Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, May 2019, Erquy, France. pp.1
Conference papers
hal-02159947v1
|
||
|
Codes for Side-Channel Attacks and ProtectionsC2SI 2017 - International Conference on Codes, Cryptology, and Information Security, Apr 2017, Rabat, Morocco. pp.35-55, ⟨10.1007/978-3-319-55589-8_3⟩
Conference papers
hal-01629876v1
|
||
|
An Automated Formal Process for Detecting Fault Injection Vulnerabilities in Binaries and Case Study on PRESENT2017 IEEE Trustcom/BigDataSE/ICESS, Aug 2017, Sydney, Australia. pp.293 - 300, ⟨10.1109/Trustcom/BigDataSE/ICESS.2017.250⟩
Conference papers
hal-01629098v1
|
||
|
Quantitative Evaluation of Attack Defense Trees using Stochastic Timed AutomataGraMSec 2017 - The Fourth International Workshop on Graphical Models for Security, Aug 2017, Santa Barbara United States
Conference papers
hal-01640091v1
|
||
|
Orchestration for Secure Multi-party Communications in Web-Services ✩2017
Preprints, Working Papers, ...
hal-01629427v1
|
||
Profiled SCA with a New Twist: Semi-supervised Learning2017
Preprints, Working Papers, ...
hal-01645130v1
|
|||
Side-channel analysis and machine learning: A practical perspectiveInternational Joint Conference on Neural Networks (IJCNN), May 2017, Anchorage, United States
Conference papers
hal-01628681v1
|
|||
|
Specification-Based Protocol ObfuscationDSN 2018 - 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Jun 2018, Luxembourg City, Luxembourg. pp.1-12, ⟨10.1109/DSN.2018.00056⟩
Conference papers
hal-01848573v1
|
||
Dynamic networks of heterogeneous timed machinesMathematical Structures in Computer Science, 2018, 28 (06), pp.800 - 855. ⟨10.1017/S0960129517000135⟩
Journal articles
hal-01917079v1
|
|||
|
Type-Driven Verification of Non-functional PropertiesPPDP 2019 - 21st International Symposium on Principles and Practice of Declarative Programming, Oct 2019, Porto, Portugal. pp.1-15, ⟨10.1145/3354166.3354171⟩
Conference papers
hal-02314723v1
|
||
|
The GNU Taler system : practical and provably secure electronic paymentsCryptography and Security [cs.CR]. Université de Rennes, 2019. English. ⟨NNT : 2019REN1S008⟩
Theses
tel-02138082v1
|
||
|
Editorial Message Track on Software-intensive Systems-of-Systems (SiSoS) of the 33rd ACM/SIGAPP Symposium On Applied Computing (SAC 2018)SAC 2018 - The 33rd ACM/SIGAPP Symposium On Applied Computing, Apr 2018, Pau, France. pp.1-3
Conference papers
hal-01666389v1
|
||
|
State of the art of network protocol reverse engineering toolsJournal of Computer Virology and Hacking Techniques, 2018, 14 (1), pp.53-68. ⟨10.1007/s11416-016-0289-8⟩
Journal articles
hal-01496958v1
|
||
|
It Started with Templates: The Future of Profiling in Side-Channel AnalysisSecurity of Ubiquitous Computing Systems, pp.133 - 145, In press, ⟨10.1007/978-3-030-10591-4_8⟩
Book sections
hal-03458797v1
|
||
|
Optimal side-channel attacks for multivariate leakages and multiple modelsJournal of Cryptographic Engineering, 2017, 7 (4), pp.331-341. ⟨10.1007/s13389-017-0170-9⟩
Journal articles
hal-01629885v1
|
||
|
Side-Channel Analysis of Post-Quantum CryptographySecDays 2019 - Security Days, Jan 2019, Rennes, France. pp.1
Conference poster
hal-02018859v1
|
||
|
Plasma Lab Statistical Model Checker: Architecture, Usage and ExtensionSOFSEM 2017 - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Jan 2017, Limerick, Ireland
Conference papers
hal-01613581v1
|
||
|
Information Security, Privacy, and Trust in Social Robotic Assistants for Older AdultsHAS 2017 - International Conference on Human Aspects of Information Security, Privacy, and Trust, Jul 2017, Vancouver, Canada. pp.90-109, ⟨10.1007/978-3-319-58460-7_7⟩
Conference papers
hal-01629094v1
|
||
|
Lightweight Ciphers and their Side-channel ResilienceIEEE Transactions on Computers, 2017, pp.1-16. ⟨10.1109/TC.2017.2757921⟩
Journal articles
hal-01629886v1
|
||
|
Hybrid Statistical Estimation of Mutual Information and its Application to Information Flow2018
Preprints, Working Papers, ...
hal-01629033v2
|
||
Quand les malwares se mettent à la cryptographieInterstices, 2018
Journal articles
hal-01827607v1
|
|||
|
Group Abstraction for Assisted Navigation of Social Activities in Intelligent EnvironmentsJournal of Reliable Intelligent Environments, 2018, 4 (2), pp.107-120. ⟨10.1007/s40860-018-0058-1⟩
Journal articles
hal-01629137v2
|
||
|
Efficient Extraction of Malware Signatures Through System Calls and Symbolic Execution: An Experience Report2018
Preprints, Working Papers, ...
hal-01954483v1
|
||
|
Bridging Software-Based and Hardware-Based Fault Injection Vulnerability Detection2018
Preprints, Working Papers, ...
hal-01961008v1
|
||
|
Statistical Model Checking of Incomplete Stochastic SystemsISoLA 2018 - International Symposium on Leveraging Applications of Formal Methods, Nov 2018, Limassol, Cyprus. pp.354-371, ⟨10.1007/978-3-030-03421-4_23⟩
Conference papers
hal-02011309v1
|