Recherche - Université Grenoble Alpes

20 résultats

	Pour les 20 documents Envoyer sur ORCID RSS ATOM Exporter BibTeX XML-TEI CSV RTF EndNote PDF HTML Export avancé	Page :	triés par Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante

		Adversarial reachability for program-level security analysis Sébastien Bardin , Soline Ducousso , Marie-Laure Potet ESOP 2023 - 32nd European Symposium on Programming,, ETAPS, Apr 2023, Paris, France. pp.58-89, ⟨10.1007/978-3-031-30044-8_3⟩ Communication dans un congrès cea-04199882v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager More
		Self-reconfiguration of industrial control systems as a response to cyberattacks Jolahn Vaudey , Gwenaël Delaval , Stéphane Mocanu , Éric Rutten SecSoft 2024 - 6th International Workshop on Cyber-Security in Software-defined and Virtualized Infrastructures, Jun 2024, St. Louis, United States. pp.1-6 Communication dans un congrès hal-04600646v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager More
		From low-level fault modeling (of a pipeline attack) to a proven hardening scheme Sébastien Michelland , Christophe Deleuze , Laure Gonnord Compiler Construction (CC'24), Mar 2024, Edinburgh (Scotland), United Kingdom. ⟨10.1145/3640537.3641570⟩ Communication dans un congrès hal-04438994v2	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager More
		Inference of Robust Reachability Constraints Yanis Sellami , Guillaume Girol , Frédéric Recoules , Damien Couroussé , Sébastien Bardin 2024 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	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager More
		Re-identification attacks and data protection law Cédric Lauradoux , Teodora Curelariu , Alexandre Lodie 2023 Article de blog scientifique hal-04477938v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager More
		The lawfulness of re-identification under data protection law Teodora Curelariu , Alexandre Lodie Annual Privacy Forum 2024, ENISA; European Commission; Karlstads universitet, Sep 2024, Karlstad, Sweden. pp.112-131, ⟨10.1007/978-3-031-68024-3_6⟩ Communication dans un congrès hal-04668779v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager More
		DSL for modeling IEC 62443 compliant ICS instances, in a zone/conduit model. Jolahn Vaudey , Eric Rutten , Stéphane Mocanu , Gwenaël Delaval 2024, ⟨swh:1:dir:7d672d5b175bebcacb220d68867db4f127f372d5;origin=https://gitlab.inria.fr/jvaudey/iec62433-dsl;visit=swh:1:snp:ff3978f2eac26aa7d82e10abb5543562589f7507;anchor=swh:1:rev:505c77d8dfdfa1495d6497f7dd1b0811c7553d40⟩ Logiciel hal-04573409v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager More
		Explainable AI for Process-Aware Attack Detection in Industrial Control Systems Léa Astrid KENMOGNE , Stéphane Mocanu SecSoft 2024 - 6th International Workshop on Cyber-Security in Software-defined and Virtualized Infrastructures at the 10th IEEE International Conference on Network Softwarization (IEEE NetSoft 2024), IEEE, Jun 2024, St Louis, MO, United States. pp.1-6, ⟨10.1109/NetSoft60951.2024.10588940⟩ Communication dans un congrès hal-04680302v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager More
		Modeling Clock Glitch Fault Injection Effects on a RISC-V Microcontroller Ihab Alshaer , Ahmed Al-Kaf , Valentin Egloff , Vincent Beroulle 2024 IEEE 30th International Symposium on On-Line Testing and Robust System Design (IOLTS), Jul 2024, Rennes, France. ⟨10.1109/IOLTS60994.2024.10616064⟩ Communication dans un congrès hal-04634303v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager More
		Internal State Monitoring in RISC-V Microarchitectures for Security Purpose Roua Boulifa , Giorgio Di Natale , Paolo Maistri 25th IEEE Latin American Test Symposium (LATS 2024), Apr 2024, Maceio (Brazil), Brazil. ⟨10.1109/LATS62223.2024.10534613⟩ Communication dans un congrès hal-04513607v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager More
		Choose your Path: Control of Ring Oscillators EMFI Susceptibility through FPGA P&R Constraints Sami El Amraoui , Régis Leveugle , Paolo Maistri International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2024), Apr 2024, Kielce, Poland Communication dans un congrès hal-04513560v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager More
		In-place accumulation of fast multiplication formulae Jean-Guillaume Dumas , Bruno Grenet Proceedings of the 49th International Symposium on Symbolic and Algebraic Computation (ISSAC'24), ACM SIGSAM, Jul 2024, Raleigh, NC, United States. pp.16-25, ⟨10.1145/3666000.3669671⟩ Communication dans un congrès hal-04167499v4	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager More
		Capture the Pulse: Impact of FPGA Resource Utilization on EM Fault Injection Attacks Detection Sami El Amraoui , Régis Leveugle , Paolo Maistri IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC 2024), Oct 2024, Tanger, Morocco Communication dans un congrès hal-04717585v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager More
		Harmonic Response of Ring Oscillators under Single ElectroMagnetic Pulsed Fault Injection Sami El Amraoui , Aghiles Douadi , Régis Leveugle , Paolo Maistri 25th IEEE Latin American Test Symposium (LATS 2024), Apr 2024, Maceio (Brazil), Brazil Communication dans un congrès hal-04513585v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager More
		An IEC 62443-security oriented domain specific modelling language Jolahn Vaudey , Stéphane Mocanu , Gwenaël Delaval , Eric Rutten ARES 2024 - 19th International Conference on Availability, Reliability and Security, Jul 2024, Vienne, Austria. pp.1-12, ⟨10.1145/3664476.3670938⟩ Communication dans un congrès hal-04600593v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager More
		In-place fast polynomial modular remainder Jean-Guillaume Dumas , Bruno Grenet Proceedings of the 49th International Symposium on Symbolic and Algebraic Computation (ISSAC'24), ACM SIGSAM, Jul 2024, Raleigh, NC, United States. pp.26-35, ⟨10.1145/3666000.3669672⟩ Communication dans un congrès hal-03979016v7	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager More
		Strassen's algorithm is not optimally accurate Jean-Guillaume Dumas , Clément Pernet , Alexandre Sedoglavic 49th International Symposium on Symbolic and Algebraic Computation (ISSAC'24), ACM SIGSAM, Jul 2024, Raleigh, NC, United States. pp.254-263, ⟨10.1145/3666000.3669697⟩ Communication dans un congrès hal-04441653v2	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager More
		Memory Simulations, Security and Optimization in a Verified Compiler David Monniaux Certified Programs and Proofs 2024, Brigitte Pientka; Sandrine Blazy; Amin Timany; Dmitriy Traytel, Jan 2024, London, United Kingdom. ⟨10.1145/3636501.3636952⟩ Communication dans un congrès hal-04336347v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager More
		Inferred Fault Models for RISC-V and Arm: A Comparative Study Ihab Alshaer , Ahmed Al-Kaf , Valentin Egloff , Vincent Beroulle 37th IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, Oct 2024, Oxfordshire, United Kingdom Communication dans un congrès hal-04726690v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager More
		Fault-resistant partitioning of secure CPUs for system Co-verification against faults Simon Tollec , Vedad Hadžić , Pascal Nasahl , Mihail Asavoae , Roderick Bloem , et al. IACR Transactions on Cryptographic Hardware and Embedded Systems, 2024, 2024 (4), pp.179-204. ⟨10.46586/tches.v2024.i4.179-204⟩ Article dans une revue cea-04706853v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager More

Filtrer vos résultats

Adversarial reachability for program-level security analysis

Self-reconfiguration of industrial control systems as a response to cyberattacks

From low-level fault modeling (of a pipeline attack) to a proven hardening scheme

Inference of Robust Reachability Constraints

Re-identification attacks and data protection law

The lawfulness of re-identification under data protection law

DSL for modeling IEC 62443 compliant ICS instances, in a zone/conduit model.

Explainable AI for Process-Aware Attack Detection in Industrial Control Systems

Modeling Clock Glitch Fault Injection Effects on a RISC-V Microcontroller

Internal State Monitoring in RISC-V Microarchitectures for Security Purpose

Choose your Path: Control of Ring Oscillators EMFI Susceptibility through FPGA P&R Constraints

In-place accumulation of fast multiplication formulae

Capture the Pulse: Impact of FPGA Resource Utilization on EM Fault Injection Attacks Detection

Harmonic Response of Ring Oscillators under Single ElectroMagnetic Pulsed Fault Injection

An IEC 62443-security oriented domain specific modelling language

In-place fast polynomial modular remainder

Strassen's algorithm is not optimally accurate

Memory Simulations, Security and Optimization in a Verified Compiler

Inferred Fault Models for RISC-V and Arm: A Comparative Study

Fault-resistant partitioning of secure CPUs for system Co-verification against faults