Arthur Amorim

According to our database, Arthur Amorim authored at least 5 papers between 2024 and 2025.

Collaborative distances:

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

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

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