Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Encrenaz, Emmanuelle
55  Ergebnisse:
Personensuche X
?
1

Fault attack vulnerability assessment of binary code:

, In: Proceedings of the Sixth Workshop on Cryptography and Security in Computing Systems,
Bréjon, Jean-Baptiste ; Heydemann, Karine ; Encrenaz, Emmanuelle.. - p. 13-18 , 2019
Link: https://dl.acm.org/doi/1..
 
?
2

Side-channel robustness analysis of masked assembly codes u..:

Ben El Ouahma, Inès ; Meunier, Quentin L. ; Heydemann, Karine.
Journal of Cryptographic Engineering.  9 (2019)  3 - p. 231-242 , 2019
Link: https://doi.org/10.1007/..
 
?
3

Feasibility analysis for robustness quantification by symbo..:

Baarir, Souheib ; Braunstein, Cécile ; Encrenaz, Emmanuelle...
Formal Methods in System Design.  39 (2011)  2 - p. 165-184 , 2011
Link: https://doi.org/10.1007/..
 
?
4

ABD tutorial: Robustness:

, In: 2010 Forum on Specification & Design Languages (FDL 2010),
Encrenaz, Emmanuelle - p. 1-1 , 2010
Link: https://doi.org/10.1049/..
 
?
5

Data decision diagrams for Promela systems analysis:

Beaudenon, Vincent ; Encrenaz, Emmanuelle ; Taktak, Sami
International Journal on Software Tools for Technology Transfer.  12 (2010)  5 - p. 337-352 , 2010
Link: https://doi.org/10.1007/..
 
?
6

Automatic Verification of Counter Systems With Ranking Func..:

Encrenaz, Emmanuelle ; Finkel, Alain
Electronic Notes in Theoretical Computer Science.  239 (2009)  - p. 85-103 , 2009
Link: https://doi.org/10.1016/..
 
?
7

An Inverse Method for Parametric Timed Automata:

André, Étienne ; Chatain, Thomas ; Fribourg, Laurent.
Electronic Notes in Theoretical Computer Science.  223 (2008)  - p. 29-46 , 2008
Link: https://doi.org/10.1016/..
 
?
8

Time Separation of Events: An Inverse Method:

Encrenaz, Emmanuelle ; Fribourg, Laurent
Electronic Notes in Theoretical Computer Science.  209 (2008)  - p. 135-148 , 2008
Link: https://doi.org/10.1016/..
 
?
9

A tool for automatic detection of deadlock in wormhole netw..:

Taktak, Sami ; Desbarbieux, Jean-Lou ; Encrenaz, Emmanuelle
ACM Transactions on Design Automation of Electronic Systems.  13 (2008)  1 - p. 1-22 , 2008
Link: https://doi.org/10.1145/..
 
?
10

A tool for automatic detection of deadlock in wormhole netw..:

Taktak, Sami ; Desbarbieux, Jean-Lou ; Encrenaz, Emmanuelle
ACM Transactions on Design Automation of Electronic Systems (TODAES).  13 (2008)  1 - p. 1-22 , 2008
Link: https://dl.acm.org/doi/1..
 
?
11

CTL-property Transformations along an Incremental Design Pr..:

Braunstein, Cécile ; Encrenaz, Emmanuelle
International Journal on Software Tools for Technology Transfer.  9 (2006)  1 - p. 77-88 , 2006
Link: https://doi.org/10.1007/..
 
?
12

CTL-Property Transformations Along an Incremental Design Pr..:

Braunstein, Cécile ; Encrenaz, Emmanuelle
Electronic Notes in Theoretical Computer Science.  128 (2005)  6 - p. 263-278 , 2005
Link: https://doi.org/10.1016/..
 
?
13

PROSECCO: Formally-proven secure compiled code:

Belleville, Nicolas ; Couroussé, Damien ; Encrenaz, Emmanuelle..
cea-03605070.  , 2021
Link: https://cea.hal.science/..
 
?
14

PROSECCO: Formally-proven secure compiled code:

Belleville, Nicolas ; Couroussé, Damien ; Encrenaz, Emmanuelle..
cea-03605070.  , 2021
Link: https://cea.hal.science/..
 
?
15

PROSECCO: Formally-proven secure compiled code:

Belleville, Nicolas ; Couroussé, Damien ; Encrenaz, Emmanuelle..
cea-03605070.  , 2021
Link: https://cea.hal.science/..
 
1-15