axe_Pacs

info dans groupe team

info articles lies mot

Articles

PhD position: software vulnerability analysis guided by countermeasures and attacker capabilities

Wednesday 11 May 2022 by mounier

Members

Wednesday 16 September 2015 by jahier

by years

Wednesday 16 September 2015 by jahier

by kinds

Wednesday 16 September 2015 by jahier

Partners

Wednesday 16 September 2015 by jahier

ARAMIS

Sunday 10 December 2017 by potet

BINSEC

Sunday 31 December 2017 by potet

BinSec

Thursday 7 January 2021 by mounier

CLAM

Wednesday 31 January 2024 by mounier

Etienne BOESPFLUG

Saturday 31 December 2022 by jahier

FISSC

Thursday 7 January 2021 by mounier

GUEB

Thursday 7 January 2021 by mounier

Lazart

Thursday 7 January 2021 by mounier

Measures against speculative attacks in a certified optimizing compiler

Thursday 12 October 2023 by monniaux

Pagai

Tuesday 15 May 2012 by monniaux

SACADE

Tuesday 31 December 2019 by mounier

SECURIOT-2

Friday 1 January 2021 by potet

Security counter-measures in a certified optimizing compiler

Thursday 12 October 2023 by monniaux

SERTIF

Tuesday 10 January 2017 by potet

TAVA

Tuesday 31 December 2024 by mounier

Thèse CIFRE : Cybersecurity - Fault injection attacks

Thursday 30 March 2023 by mounier

[Funded PhD/PostDoc] Countermeasures to (transient) Side-Channel Attacks in a Formally Verified Compiler

Monday 25 March 2030 by Bruno Ferres, monniaux

[Funded PhD] Annotations de sécurité pour compilateur optimisant formellement vérifié

Thursday 20 March 2025 by Bruno Ferres, potet, boulme

[Funded PhD] Quantitative analysis of software security against adaptive attacks

Friday 21 March 2025 by mounier

[M2 Internship] Leakage in presence of an active and adaptive adversary

Monday 31 January 2022 by mounier

[M2 Internship] Security counter-measures in a certified optimizing compiler

Saturday 15 January 2022 by mounier

[M2R Internship] Analyse et Evaluation d’implémentations sécurisées robustes à l’injection de fautes

Friday 31 December 2021 by mounier

[master] automatic insertion of countermeasures in a verified compiler

Wednesday 31 August 2022 by monniaux

[Post-Doc] Open postdoc position (Software Security, Formal Methods, IIoT)

Tuesday 31 January 2023 by mounier

Other keywords in this group

Other groups of keywords

Sections

Contact | Site Map | Site powered by SPIP 4.2.13 + AHUNTSIC [CC License]

info visites 3986722