Paulo Jorge Esteves Veríssimo


AuthID: R-000-EDS

Confirmed Publications: 216



21
TITLE: RT-ByzCast: Byzantine-Resilient Real-Time Reliable Broadcast
AUTHORS: David Kozhaya; Jeremie Decouchant; Paulo Jorge Esteves Veríssimo ;
PUBLISHED: 2019, SOURCE: IEEE Trans. Computers, VOLUME: 68, ISSUE: 3
INDEXED IN: DBLP
IN MY: DBLP
22
TITLE: Sustainable Security & Safety: Challenges and Opportunities
AUTHORS: Andrew Paverd; Marcus Völp; Ferdinand Brasser; Matthias Schunter; Asokan, N; Ahmad Reza Sadeghi; Paulo Jorge Esteves Veríssimo ; Andreas Steininger; Thorsten Holz;
PUBLISHED: 2019, SOURCE: 4th International Workshop on Security and Dependability of Critical Embedded Real-Time Systems, CERTS@ECRTS 2019, July 9, 2019, Stuttgart, Germany., VOLUME: 73
INDEXED IN: DBLP
IN MY: DBLP
23
TITLE: Accurate filtering of privacy-sensitive information in raw genomic data  Full Text
AUTHORS: Decouchant, J; Fernandes, M; Volp, M; Couto, FM; Esteves Verissimo, P ;
PUBLISHED: 2018, SOURCE: JOURNAL OF BIOMEDICAL INFORMATICS, VOLUME: 82
INDEXED IN: WOS DBLP CrossRef: 11
IN MY: DBLP
24
TITLE: Improving Security for Time-Triggered Real-Time Systems with Task Replication
AUTHORS: Kristin Krüger; Gerhard Fohler; Marcus Völp; Paulo Jorge Esteves Veríssimo ;
PUBLISHED: 2018, SOURCE: 24th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2018, Hakodate, Japan, August 28-31, 2018
INDEXED IN: DBLP
IN MY: DBLP
25
TITLE: Intrusion-Tolerant Autonomous Driving
AUTHORS: Marcus Völp; Paulo Jorge Esteves Veríssimo ;
PUBLISHED: 2018, SOURCE: 21st IEEE International Symposium on Real-Time Distributed Computing, ISORC 2018, Singapore, Singapore, May 29-31, 2018
INDEXED IN: DBLP
IN MY: DBLP
26
TITLE: MaskAl: Privacy Preserving Masked Reads Alignment using Intel SGX
AUTHORS: Christoph Lambert; Maria Fernandes; Jeremie Decouchant; Paulo Jorge Esteves Veríssimo ;
PUBLISHED: 2018, SOURCE: 37th IEEE Symposium on Reliable Distributed Systems, SRDS 2018, Salvador, Brazil, October 2-5, 2018
INDEXED IN: DBLP
IN MY: DBLP
27
TITLE: RT-ByzCast: Byzantine-Resilient Real-Time Reliable Broadcast PDF
AUTHORS: David Kozhaya; Jérémie Decouchant; Paulo Jorge Esteves Veríssimo ;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1807.01226
INDEXED IN: DBLP arXiv
IN MY: DBLP
28
TITLE: The KISS Principle in Software-Defined Networking: A Framework for Secure Communications
AUTHORS: Kreutz, D; Yu, JS; Esteves Verissimo, P ; Magalhaes, C; Ramos, FMV;
PUBLISHED: 2018, SOURCE: IEEE SECURITY & PRIVACY, VOLUME: 16, ISSUE: 5
INDEXED IN: Scopus WOS DBLP CrossRef: 12
IN MY: DBLP
29
TITLE: Towards Real-Time-Aware Intrusion Tolerance
AUTHORS: Christoph Lambert; Marcus Völp; Jeremie Decouchant; Paulo Jorge Esteves Veríssimo ;
PUBLISHED: 2018, SOURCE: 37th IEEE Symposium on Reliable Distributed Systems, SRDS 2018, Salvador, Brazil, October 2-5, 2018
INDEXED IN: DBLP
IN MY: DBLP
30
TITLE: Velisarios: Byzantine Fault-Tolerant Protocols Powered by Coq
AUTHORS: Vincent Rahli; Ivana Vukotic; Marcus Völp; Paulo Jorge Esteves Veríssimo ;
PUBLISHED: 2018, SOURCE: Programming Languages and Systems - 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, VOLUME: 10801
INDEXED IN: DBLP
IN MY: DBLP
Page 3 of 22. Total results: 216.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service