検索結果 - Roderick Bloem

Efficient and Composable Masked AES S-Box Designs Using Optimized Inverters 著者: Vedad Hadžic, Roderick Bloem

全文の入手

Parameterized Synthesis 著者: Swen Jacobs, Roderick Bloem

全文の入手

Parameterized Synthesis Case Study: AMBA AHB 著者: Roderick Bloem, Swen Jacobs, Ayrat Khalimov

全文の入手

Closing the Gap: Leakage Contracts for Processors with Transitions and Glitches 著者: Johannes Haring, Vedad Hadži´c, Roderick Bloem

全文の入手

How to Handle Assumptions in Synthesis 著者: Roderick Bloem, Rüdiger Ehlers, Swen Jacobs, Robert Könighofer

全文の入手

Quantile: Quantifying Information Leakage 著者: Vedad Hadžic, Gaëtan Cassiers, Robert Primas, Stefan Mangar, Roderick Bloem

全文の入手

Fault-Resistant Partitioning of Secure CPUs for System Co-Verification against Faults 著者: Simon Tollec, Vedad Hadži´c, Pascal Nasahl, Mihail Asavoae, Roderick Bloem, Damien Couroussé, Karine Heydemann, Mathieu Jan, Stefan Mangard

全文の入手

The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results 著者: 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

全文の入手

Two-Year Progress of Pilot Research Activities in Teaching Digital Thinking Project (TDT) 著者: 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

全文の入手