Adam Petcher
According to our database1,
Adam Petcher
authored at least 9 papers
between 2009 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
IACR Cryptol. ePrint Arch., 2023
2021
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021
2020
2017
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017
2015
Proceedings of the 24th USENIX Security Symposium, 2015
Proceedings of the Principles of Security and Trust - 4th International Conference, 2015
Proceedings of the IEEE 28th Computer Security Foundations Symposium, 2015
2011
A usable interface for location-based access control and Over-The-Air Keying in tactical environments.
Proceedings of the MILCOM 2011, 2011
2009
Proceedings of the 3rd ACM Workshop Programming Languages meets Program Verification, 2009