Arthur Amorim
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2024–2025
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ACSAC | Securing Modbus-Based Industrial Control Systems with Refined Multiparty Session Types. | Max Taylor, Arthur Amorim, Lance Joneckis |
| 2025 | DSN | Enhancing Cyber-Physical System Dependability via Synthesis: Challenges and Future Directions. | Max Taylor, Arthur Amorim |
| 2024 | ACSAC | Towards Provable Security in Industrial Control Systems Via Dynamic Protocol Attestation. | Arthur Amorim, Trevor Kann, Max Taylor, Lance Joneckis |