Seguir
Max von Hippel
Max von Hippel
PhD Candidate, Northeastern University
Email confirmado em northeastern.edu - Página inicial
Título
Citado por
Citado por
Ano
Reproducible, interactive, scalable and extensible microbiome data science using QIIME 2
E Bolyen, JR Rideout, MR Dillon, NA Bokulich, CC Abnet, GA Al-Ghalith, ...
Nature biotechnology 37 (8), 852-857, 2019
140712019
Long-term and inter-annual mass changes in the Iceland ice cap determined from GRACE gravity using Slepian functions
M Von Hippel, C Harig
Frontiers in Earth Science 7, 171, 2019
202019
Automated Attack Synthesis by Extracting Finite State Machines from Protocol Specification Documents
ML Pacheco, M von Hippel, B Weintraub, D Goldwasser, C Nita-Rotaru
43rd IEEE Symposium on Security and Privacy, 2022
162022
Automated Attacker Synthesis for Distributed Protocols
M von Hippel, S Vick, Cole, Tripakis, C Nita-Rotaru
International Conference on Computer Safety, Reliability, and Security, 133-149, 2020
112020
Byzantine resilience at swarm scale: A decentralized blocklist protocol from inter-robot accusations
K Wardega, M von Hippel, R Tron, C Nita-Rotaru, W Li
arXiv preprint arXiv:2301.06977, 2023
42023
A Formal Analysis of Karn’s Algorithm
M von Hippel, KL McMillan, C Nita-Rotaru, LD Zuck
International Conference on Networked Systems, 43-61, 2023
32023
Hola robots: Mitigating plan-deviation attacks in multi-robot systems with co-observations and horizon-limiting announcements
K Wardega, M von Hippel, R Tron, C Nita-Rotaru, W Li
arXiv preprint arXiv:2301.10704, 2023
22023
Formal Model-Driven Analysis of Resilience of GossipSub to Attacks from Misbehaving Peers
A Kumar, M von Hippel, P Manolios, C Nita-Rotaru
arXiv preprint arXiv:2212.05197, 2022
12022
A Formal Analysis of SCTP: Attack Synthesis and Patch Verification
J Ginesin, M von Hippel, E Defloor, C Nita-Rotaru, M Tüxen
arXiv preprint arXiv:2403.05663, 2024
2024
A Case Study in Analytic Protocol Analysis in ACL2
M von Hippel, P Manolios, KL McMillan, C Nita-Rotaru, L Zuck
arXiv preprint arXiv:2311.08855, 2023
2023
Verification of GossipSub in ACL2s
A Kumar, M von Hippel, P Manolios, C Nita-Rotaru
arXiv preprint arXiv:2311.08859, 2023
2023
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–11