Michal Podhradsky

According to our database1, Michal Podhradsky authored at least 2 papers between 2018 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2018
2019
2020
2021
2022
0
1
2
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
CompartOS: CHERI Compartmentalization for Embedded Systems.
CoRR, 2022

2018
A Formal Approach to Constructing Secure Air Vehicle Software.
Computer, 2018


  Loading...