Ben Weintraub
Orcid: 0000-0002-9527-5888
According to our database1,
Ben Weintraub
authored at least 8 papers
between 2020 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Payout Races and Congested Channels: A Formal Analysis of Security in the Lightning Network.
CoRR, 2024
CoRR, 2024
2023
MSNetViews: Geographically Distributed Management of Enterprise Network Security Policy.
Proceedings of the 28th ACM Symposium on Access Control Models and Technologies, 2023
2022
Automated Attack Synthesis by Extracting Finite State Machines from Protocol Specification Documents.
Proceedings of the 43rd IEEE Symposium on Security and Privacy, 2022
Proceedings of the 43rd IEEE Symposium on Security and Privacy, 2022
Proceedings of the 22nd ACM Internet Measurement Conference, 2022
2021
Proceedings of the IEEE European Symposium on Security and Privacy Workshops, 2021
2020
CoRR, 2020