Zobrazeno 1 - 10
of 160
pro vyhledávání: '"Roderick Bloem"'
Autor:
Simon Tollec, Vedad Hadži´c, Pascal Nasahl, Mihail Asavoae, Roderick Bloem, Damien Couroussé, Karine Heydemann, Mathieu Jan, Stefan Mangard
Publikováno v:
Transactions on Cryptographic Hardware and Embedded Systems, Vol 2024, Iss 4 (2024)
Fault injection attacks are a serious threat to system security, enabling attackers to bypass protection mechanisms or access sensitive information. To evaluate the robustness of CPU-based systems against these attacks, it is essential to analyze the
Externí odkaz:
https://doaj.org/article/4f530bf376ec46b3bb26d08fdd69f770
Publikováno v:
Transactions on Cryptographic Hardware and Embedded Systems, Vol 2024, Iss 4 (2024)
Security verification of masked software implementations of cryptographic algorithms must account for microarchitectural side-effects of CPUs. Leakage contracts were proposed to provide a formal separation between hardware and software verification,
Externí odkaz:
https://doaj.org/article/680a738cd35d4819817740a1348e2ac5
Publikováno v:
Transactions on Cryptographic Hardware and Embedded Systems, Vol 2024, Iss 1 (2023)
The masking countermeasure is very effective against side-channel attacks such as differential power analysis. However, the design of masked circuits is a challenging problem since one has to ensure security while minimizing performance overheads. Th
Externí odkaz:
https://doaj.org/article/8181fa2c1f5944a59aca3cee57359ff2
Autor:
Roland Ambros, Angelika Bernsteiner, Roderick Bloem, Dominik Dolezal, David Garcia, Katrin Göltl, Claudia Haagen-Schützenhöfer, Markus Hadler, Timotheus Hell, Alina Herderich, Petar Jercic, Fares Kayali, Ferenc Kemény, Christoph Kirsch, Beate Kloesch, Daniel Kocher, Karin Landerl, Jana Lasser, Elisabeth Lex, Renate Motschnig, Claudia Plant, Lisa Posch, Markus Reiter-Haas, Thomas Schubatzky, Wolfgang Slany, Ana Sokolova, Philipp Spitzer, Matthias Steinböck, Yllka Velaj, Pelin Yüksel-Arslan
Publikováno v:
Zeitschrift für Hochschulentwicklung, Vol 18, Iss Sonderheft Hochschullehre (2023)
This article presents a progress report from the last two years of the Teaching Digital Thinking (TDT) project. This project aims to implement new concepts, didactic methods, and teaching formats for sustainable digital transformation in Austrian Uni
Externí odkaz:
https://doaj.org/article/a38c0259a7144b61826c0648cb829e40
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 260, Iss Proc. SYNT 2017, Pp 4-22 (2017)
We reduce synthesis for CTL* properties to synthesis for LTL. In the context of model checking this is impossible — CTL* is more expressive than LTL. Yet, in synthesis we have knowledge of the system structure and we can add new outputs. These outp
Externí odkaz:
https://doaj.org/article/488511784e9d4039a2fbbc72d5ece1bb
Autor:
Swen Jacobs, Nicolas Basset, Roderick Bloem, Romain Brenguier, Maximilien Colange, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Thibaud Michaud, Guillermo A. Pérez, Jean-François Raskin, Ocan Sankur, Leander Tentrup
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 260, Iss Proc. SYNT 2017, Pp 116-143 (2017)
We report on the fourth reactive synthesis competition (SYNTCOMP 2017). We introduce two new benchmark classes that have been added to the SYNTCOMP library, and briefly describe the benchmark selection, evaluation scheme and the experimental setup of
Externí odkaz:
https://doaj.org/article/0a5e0070b565485da8511bb0df92db2f
Autor:
Swen Jacobs, Roderick Bloem, Romain Brenguier, Ayrat Khalimov, Felix Klein, Robert Könighofer, Jens Kreber, Alexander Legg, Nina Narodytska, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 229, Iss Proc. SYNT 2016, Pp 149-177 (2016)
We report on the benchmarks, participants and results of the third reactive synthesis competition(SYNTCOMP 2016). The benchmark library of SYNTCOMP 2016 has been extended to benchmarks in the new LTL-based temporal logic synthesis format (TLSF), and
Externí odkaz:
https://doaj.org/article/aaccd15b40d741e083b82d2c6cd3e043
Autor:
Swen Jacobs, Roderick Bloem
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 229, Iss Proc. SYNT 2016, Pp 133-148 (2016)
We report on the design of the third reactive synthesis competition (SYNTCOMP 2016), including a major extension of the competition to specifications in full linear temporal logic. We give a brief overview of the synthesis problem as considered in SY
Externí odkaz:
https://doaj.org/article/563850b7261148df9030e4db5ce2a3bf
Autor:
Swen Jacobs, Roderick Bloem, Romain Brenguier, Robert Könighofer, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 202, Iss Proc. SYNT 2015, Pp 27-57 (2016)
We report on the design and results of the second reactive synthesis competition (SYNTCOMP 2015). We describe our extended benchmark library, with 6 completely new sets of benchmarks, and additional challenging instances for 4 of the benchmark sets t
Externí odkaz:
https://doaj.org/article/a9c45a590c8c4abeb527d9ec981ba822
Publikováno v:
Transactions on Cryptographic Hardware and Embedded Systems, Vol 2018, Iss 2 (2018)
In this work, we introduce a generalized concept for low-latency masking that is applicable to any implementation and protection order, and (in its most extreme form) does not require on-the-fly randomness. The main idea of our approach is to avoid c
Externí odkaz:
https://doaj.org/article/1cfe33817aa548b89eb10d7e4b836555