Arthur Amorim

According to our database, Arthur Amorim authored at least 7 papers between 2024 and 2026.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

2026

From High-Level Types to Low-Level Monitors: Synthesizing Verified Runtime Checkers for MAVLink.

Arthur Amorim, Paul Gazzillo, Max Taylor, Lance Joneckis

Proceedings of the NASA Formal Methods, 2026

2025

UAV Resilience Against Stealthy Attacks.

Arthur Amorim, Max Taylor, Trevor Kann, Gary T. Leavens, William L. Harrison, Lance Joneckis

CoRR, March, 2025

Enforcing MAVLink Safety & Security Properties Via Refined Multiparty Session Types.

Arthur Amorim, Max Taylor, Gary T. Leavens, Bill Harrison, Lance Joneckis, Trevor Kann

CoRR, January, 2025

Enforcing MAVLink Safety & Security Properties via Refined Multiparty Session Types.

Arthur Amorim, Max Taylor, Trevor Kann, William L. Harrison, Gary T. Leavens, Lance Joneckis

Proceedings of the NASA Formal Methods - 17th International Symposium, 2025

Enhancing Cyber-Physical System Dependability via Synthesis: Challenges and Future Directions.

Max Taylor, Arthur Amorim

Proceedings of the 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2025

Securing Modbus-Based Industrial Control Systems with Refined Multiparty Session Types.

Max Taylor, Arthur Amorim, Lance Joneckis

Proceedings of the Annual Computer Security Applications Conference, 2025

2024

Towards Provable Security in Industrial Control Systems Via Dynamic Protocol Attestation.

Arthur Amorim, Trevor Kann, Max Taylor, Lance Joneckis

Proceedings of the Annual Computer Security Applications Conference, 2024