Research output per year
Research output per year
Fingerprint
Dive into the research topics where Roderick Bloem is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
An Adaptive, Provable Correct Simplex Architecture
Maderbacher, B., Schupp, S., Bartocci, E., Bloem, R., Nickovic, D. & Könighofer, B., Sept 2024, (Accepted/In press) In: International Journal on Software Tools for Technology Transfer.Research output: Contribution to journal › Article › peer-review
-
Closing the Gap: Leakage Contracts for Processors with Transitions and Glitches
Haring, J., Hadzic, V. & Bloem, R., 5 Sept 2024, In: IACR Transactions on Cryptographic Hardware and Embedded Systems. 2024, 4, p. 110-132 23 p.Research output: Contribution to journal › Article › peer-review
Open Access -
Fault-Resistant Partitioning of Secure CPUs for System Co-Verification against Faults
Tollec, S., Hadzic, V., Nasahl, P., Asavoae, M., Bloem, R., Couroussé, D., Heydemann, K., Jan, M. & Mangard, S., 5 Sept 2024, In: IACR Transactions on Cryptographic Hardware and Embedded Systems. 2024, 4, p. 179-204 26 p.Research output: Contribution to journal › Article › peer-review
Open Access -
Synthesis from Infinite-State Generalized Reactivity(1) Specifications
Maderbacher, B., Windisch, F. & Bloem, R., Oct 2024, Leveraging Applications of Formal Methods, Verification and Validation.Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
-
A Systematic Approach to Automotive Security
Ebrahimi, M., Marksteiner, S., Nickovic, D., Bloem, R., Schögler, D., Eisner, P., Sprung, S., Schober, T., Chlup, S., Schmittner, C. & König, S., 6 Mar 2023, Formal Methods - 25th International Symposium, FM 2023, Proceedings. Chechik, M., Katoen, J.-P. & Leucker, M. (eds.). Cham: Springer, p. 598-609 12 p. (Lecture Notes in Computer Science; vol. 14000).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Activities
-
-
Università di Padova
Roderick Bloem (Visitor)
21 Sept 2021 → 23 Sept 2021Activity: Visiting an external academic institution › Research at external institution
-
Haifa Verification Conference 2007
Roderick Bloem (Speaker)
24 Oct 2007Activity: Talk or presentation › Invited talk › Science to science
-
Te-DES Workshop
Roderick Bloem (Speaker)
9 Jan 2006Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
OneSpin Solutions
Roderick Bloem (Speaker)
8 Mar 2006Activity: Talk or presentation › Invited talk › Science to science
Prizes
-
Best Paper Award, Haifa Verification Conference
Bloem, Roderick (Recipient) & Staber, Stefan Simon (Recipient), 23 Oct 2006
Prize: Prizes / Medals / Awards
-
Best Paper Award: The 31st IFIP International Conference on Testing Software and Systems
Aichernig, Bernhard (Recipient), Bloem, Roderick (Recipient), Ebrahimi, Masoud (Recipient), Horn, Martin (Recipient), Pernkopf, Franz (Recipient), Roth, Wolfgang (Recipient), Rupp, Astrid (Recipient), Tappler, Martin (Recipient) & Tranninger, Markus (Recipient), Oct 2019
Prize: Prizes / Medals / Awards
-
FATE - Fault-driven Analysis and Testing for Design Robustness and Stability
1/11/22 → 31/10/25
Project: Research project
-
Security & Safety
Bloem, R. (Co-Investigator (CoI)) & Mangard, S. (Co-Investigator (CoI))
1/01/15 → …
Project: Research area
-
ArchCM4SSV - Architectural Countermeasures for Security & Security Verification
1/07/21 → 30/06/22
Project: Research project
-
EU - SAFEST - Secure and Assured hardware: Facilitating ESTonia’s digital society
1/01/21 → 31/12/23
Project: Research project
-
EU - FOCETA - Foundations for continuous engineering of trustworthy autonomy
1/10/20 → 31/10/23
Project: Research project