Stuart Pernsteiner
According to our database1,
Stuart Pernsteiner
authored at least 9 papers
between 2014 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2014
2016
2018
2020
2022
2024
0
1
2
3
1
1
1
1
1
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
2023
Proceedings of the 32nd USENIX Security Symposium, 2023
2020
Proceedings of the IEEE Secure Development, SecDev 2020, Atlanta, GA, USA, 2020
2018
Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018
2016
Investigating Safety of a Radiotherapy Machine Using System Models with Pluggable Checkers.
Proceedings of the Computer Aided Verification - 28th International Conference, 2016
2015
Proceedings of the 1st Summit on Advances in Programming Languages, 2015
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015
2014
Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, 2014