Tadeu Freitas

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 5

Top Topics

Safety Critical

High Availability

Top Venues

Publications

Tadeu Freitas, Mario Tasso Ribeiro Serra Neto, Inês Dutra, João Soares, Manuel Eduardo Correia, Rolando Martins
HAL 9000: Skynet's Risk Manager. CoRR (2023)
Tadeu Freitas, João Soares, Manuel Eduardo Correia, Rolando Martins
Deterministic or probabilistic? - A survey on Byzantine fault tolerant state machine replication. Comput. Secur. 129 (2023)
Tadeu Freitas, João Soares, Manuel Eduardo Correia, Rolando Martins
Skynet: a Cyber-Aware Intrusion Tolerant Overseer. DSN-S (2023)
João Soares, Ricardo Fernandez, Miguel Silva, Tadeu Freitas, Rolando Martins
ZERMIA - A Fault Injector Framework for Testing Byzantine Fault Tolerant Protocols. NSS (2021)
Tadeu Freitas, João Rodrigues, Diogo Bogas, Miguel T. Coimbra, Rolando Martins
Panoptic, Privacy over Edge-Clouds. FiCloud (2018)