research
∙
01/25/2023
HoLA Robots: Mitigating Plan-Deviation Attacks in Multi-Robot Systems with Co-Observations and Horizon-Limiting Announcements
Emerging multi-robot systems rely on cooperation between humans and robo...
share
research
∙
01/17/2023
Byzantine Resilience at Swarm Scale: A Decentralized Blocklist Protocol from Inter-robot Accusations
The Weighted-Mean Subsequence Reduced (W-MSR) algorithm, the state-of-th...
research
∙
02/18/2022
Automated Attack Synthesis by Extracting Finite State Machines from Protocol Specification Documents
Automated attack discovery techniques, such as attacker synthesis or mod...
research
∙
04/02/2020