Zobrazeno 1 - 10
of 70
pro vyhledávání: '"Mantel, Heiko."'
Publikováno v:
In Parallel Computing December 2021 108
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
The tools Side-Channel Finder AVR (SCF-AVR) and CacheAudit 0.3 (CA-0.3) support a proactive treatment of side channels in different contexts. SCF-AVR is a qualitative analysis tool. It detects potential timing side channels in AVR assembly programs.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f288cb9602f6b919a642e30c47a02fc5
Publikováno v:
Lecture notes in computer science
Software Engineering as a discipline and, in particular, as a research field within Computer Science, is still mainly focused on meth- ods, techniques, processes, and tools to develop software from scratch. In reality, however, greenfield scenarios a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2097::c58288e1dd3b511ee15b2a13d95d88b6
https://hdl.handle.net/10067/1845030151162165141
https://hdl.handle.net/10067/1845030151162165141
Autor:
Bauereiß, Thomas, Greiner, Simon, Herda, Mihai, Kirsten, Michael, Li, Ximeng, Mantel, Heiko, Mohr, Martin, Perner, Matthias, Schneider, David, Tasch, Markus
The RS³ Information-Flow Specification Language (RIFL) is a policy language for information-flow security. RIFL originated from the need for a common language for specifying security requirements within the DFG priority program Reliably Secure Softw
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::31bcc083fa4012b001b5fd6dfeee1a70
Autor:
Köpf, Boris1 bkoepf@inf.ethz.ch, Mantel, Heiko2 mantel@cs.rwth-aachen.de
Publikováno v:
International Journal of Information Security. Mar2007, Vol. 6 Issue 2/3, p107-131. 25p. 7 Diagrams.
Autor:
Mantel, Heiko1, Sabelfeld, Andrei2
Publikováno v:
Journal of Computer Security. 2003, Vol. 11 Issue 4, p615-676. 62p.