


default search action
Tadeu Freitas
Person information
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
2020 – today
- 2026
[i6]Tadeu Freitas, João Soares, Rolando Martins:
Trust, but Verify: ByzTwin-Range, a Digital Twin Cyber-Range for Byzantine Faults. CoRR abs/2604.18049 (2026)- 2025
[j2]Tadeu Freitas
, Carlos Novo, Inês Dutra
, João Soares
, Manuel Eduardo Correia
, Benham Shariati, Rolando Martins
:
A Risk Manager for Intrusion Tolerant Systems: Enhancing HAL 9000 With New Scoring and Data Sources. Softw. Pract. Exp. 55(12): 1915-1930 (2025)
[c6]Tadeu Freitas, Erick Silva, Rehana Yasmin
, Ali Shoker, Manuel Eduardo Correia
, Rolando Martins
, Paulo Jorge Esteves Veríssimo:
EVSOAR: Security Orchestration, Automation and Response via EV Charging Stations. VTC2025-Spring 2025: 1-7
[c5]Erick Silva, Tadeu Freitas, Rehana Yasmin
, Ali Shoker, Paulo Jorge Esteves Veríssimo:
EVolve: A Value-Added Services Platform for Electric Vehicle Charging Stations. VTC2025-Spring 2025: 1-7
[i5]Tadeu Freitas, Erick Silva, Rehana Yasmin, Ali Shoker, Manuel Eduardo Correia, Rolando Martins, Paulo Jorge Esteves Veríssimo:
EVSOAR: Security Orchestration, Automation and Response via EV Charging Stations. CoRR abs/2503.16984 (2025)
[i4]Erick Silva, Tadeu Freitas, Rehana Yasmin, Ali Shoker, Paulo Esteves Veríssimo:
EVOLVE: a Value-Added Services Platform for Electric Vehicle Charging Stations. CoRR abs/2503.18687 (2025)
[i3]Tadeu Freitas, Carlos Novo, Inês Dutra, João Soares
, Manuel Eduardo Correia, Benham Shariati, Rolando Martins:
A Risk Manager for Intrusion Tolerant Systems: Enhancing HAL 9000 with New Scoring and Data Sources. CoRR abs/2508.13364 (2025)
[i2]Tadeu Freitas, Carlos Novo, Manuel Eduardo Correia, Rolando Martins:
LegionITS: A Federated Intrusion-Tolerant System Architecture. CoRR abs/2512.14242 (2025)- 2024
[c4]Tadeu Freitas, Carlos Novo
, João Soares
, Inês Dutra
, Manuel Eduardo Correia
, Behnam Shariati, Rolando Martins
:
HAL 9000: a Risk Manager for ITSs. TPS-ISA 2024: 322-331- 2023
[j1]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: 103200 (2023)
[c3]Tadeu Freitas, João Soares
, Manuel Eduardo Correia
, Rolando Martins
:
Skynet: a Cyber-Aware Intrusion Tolerant Overseer. DSN-S 2023: 111-116
[i1]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 abs/2311.09449 (2023)- 2021
[c2]João Soares
, Ricardo Fernandez, Miguel Silva, Tadeu Freitas
, Rolando Martins
:
ZERMIA - A Fault Injector Framework for Testing Byzantine Fault Tolerant Protocols. NSS 2021: 38-60
2010 – 2019
- 2018
[c1]Tadeu Freitas
, João Rodrigues
, Diogo Bogas, Miguel T. Coimbra
, Rolando Martins
:
Panoptic, Privacy over Edge-Clouds. FiCloud 2018: 325-332
Coauthor Index

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from
,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from
and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2026-05-28 23:48 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID







