Max von Hippel

According to our database¹, Max von Hippel authored at least 9 papers between 2020 and 2024.

Collaborative distances:

Dijkstra number² of three.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2024

A Formal Analysis of SCTP: Attack Synthesis and Patch Verification.

[BibT_eX]

[DOI]

CoRR, 2024

2023

Verification of GossipSub in ACL2s.

[BibT_eX]

[DOI]

Proceedings of the 18th International Workshop on the ACL2 Theorem Prover and Its Applications, 2023

A Case Study in Analytic Protocol Analysis in ACL2.

[BibT_eX]

[DOI]

Proceedings of the 18th International Workshop on the ACL2 Theorem Prover and Its Applications, 2023

A Formal Analysis of Karn's Algorithm.

[BibT_eX]

[DOI]

Proceedings of the Networked Systems - 11th International Conference, 2023

HoLA Robots: Mitigating Plan-Deviation Attacks in Multi-Robot Systems with Co-Observations and Horizon-Limiting Announcements.

[BibT_eX]

[DOI]

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

Byzantine Resilience at Swarm Scale: A Decentralized Blocklist Protocol from Inter-robot Accusations.

[BibT_eX]

[DOI]

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

2022

Formal Model-Driven Analysis of Resilience of GossipSub to Attacks from Misbehaving Peers.

[BibT_eX]

[DOI]

CoRR, 2022

Automated Attack Synthesis by Extracting Finite State Machines from Protocol Specification Documents.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE Symposium on Security and Privacy, 2022

2020

Automated Attacker Synthesis for Distributed Protocols.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2020

Max von Hippel

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...