Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren
Datenschutzerklärungen
.
X
Login
Merkliste (
0
)
Startseite
Über uns
Startseite Über uns
Neues aus der SuUB
Geschichte der SuUB
Bibliotheksprofil
Presseinformationen
Freundeskreis
Die Bibliothek in Zahlen
Ausstellungen
Projekte
Ausbildung, Praktika und Stellenangebote
Filme zur Staats- und Universitätsbibliothek Bremen
Service & Beratung
Startseite Service & Beratung
Ausleihe & Fernleihe
Rückgabe & Verlängerung
Schulungen & Führungen
Mein Bibliothekskonto
Bibliotheksausweis
Neu in der Bibliothek?
Informationsmaterialien, Formulare und Pläne zum Download
Öffnungszeiten
Lernort Bibliothek
PC, WLAN, Kopieren, Scannen, Drucken
Kataloge & Sammlungen
Startseite Kataloge & Sammlungen
Historische Sammlungen
Digitale Sammlungen
Fachinformationen
Standorte
Startseite Standorte
Zentrale
Juridicum
Bereichsbibliothek Wirtschaftswissenschaft
Bereichsbibliothek Physik / Elektrotechnik
Teilbibliothek Technik und Sozialwesen
Teilbibliothek Wirtschaft und Nautik
Teilbibliothek Musik
Teilbibliothek Kunst
Teilbibliothek Bremerhaven
Kontakt
Startseite Kontakt
Liste der Ansprechpartner
Open Access & Publizieren
Startseite Open Access & Publizieren
Literaturverwaltung
Literatur Publizieren
Open Access in Bremen
Toggle navigation
Encrenaz, Emmanuelle
55
Ergebnisse:
Personensuche
X
Format
Online (55)
Medientypen
Artikel (Online) (11)
Buchkapitel (Online) (2)
OpenAccess-Volltexte (42)
Sprachen
englisch (49)
französisch (2)
Sortierung: Relevanz
Sortierung: Jahr
?
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