Home
>
Topics
>
ETiCS
>
Research topics
>
Can Digital Technology help reduce environmental impacts?
xxx
Browsing
Sections
Verimag
Topics
Shared Resources
ETiCS
Research topics
Can Digital Technology help
Digital technologies for (…)
Frugal Digital Systems
Members
Publications
Projects
Ongoing Phd Thesis
Formal Proofs
PACS
MOHYTOS
FETLAS
Contact
Site Map
Building Access
News
New publications
Some Recent Publications
Basile Pesin, Sylvain Boulmé, David Monniaux, Marie-Laure Potet:
Formally Verified Hardening of C Programs against Hardware Fault Injection
Florence Maraninchi:
Revisiting "Good" Software Design Principles To Shape Undone Computer Science Topics
Oussama Oulkaid, Bruno Ferres, Matthieu Moy, Pascal Raymond, Mehdi Khosravian, Ludovic Henrio, Gabriel Radanne:
A Transistor Level Relational Semantics for Electrical Rule Checking by SMT Solving
Karine Altisen, Marius Bozga:
Revisited Convergence of a Self-Stabilizing BFS Spanning Tree Algorithm
Jobs and internships
Jobs and internships
[Funded PhD] Fault Injection Attacks: Automated Analysis of Counter-Measures At The Binary Level
[Master]Leakage in presence of an active and adaptive adversary
[PostDoc] Implementation of critical applications on multi-core: execution mode analysis to reduce interferences
Contact
|
Site Map
|
Site powered by SPIP 4.4.2
+
AHUNTSIC
[CC License]
info visites
4853065
English
Français