Nuno Neves
Primary tabs
"Locating file processing vulnerabilities",
Fast abstract in Supplement of the Int. Conf. on Dependable Systems and Networks, 2006.
"Proactive resilience revisited: The delicate balance between resisting intrusions and remaining available",
Reliable Distributed Systems, 2006. SRDS'06. 25th IEEE Symposium on: IEEE, pp. 71–82, 2006.
"Proactive resilience through architectural hybridization",
Proceedings of the 2006 ACM symposium on Applied computing: ACM, pp. 686–690, 2006.
"Randomized intrusion-tolerant asynchronous services",
Dependable Systems and Networks, 2006. DSN 2006. International Conference on: IEEE, pp. 568–577, 2006.
"On the resilience of intrusion-tolerant distributed systems",
DI/FCUL TR 06–14, DEP. OF INFORMATICS, UNIV. OF LISBON, SEPTEMBER 2006.–PRELIMINARY ARCHITECTURE SPECIFICATION PAGE 100, 2006.
On the Resilience of Intrusion-Tolerant Distributed Systems,
: Department of Informatics, University of Lisbon, 2006.
"Using attack injection to discover new vulnerabilities",
Dependable Systems and Networks, 2006. DSN 2006. International Conference on: IEEE, pp. 457–466, 2006.
How dependable are distributed f fault/intrusion-tolerant systems?,
: Department of Informatics, University of Lisbon, 2005.
"How resilient are distributed f fault/intrusion-tolerant systems?",
Dependable Systems and Networks, 2005. DSN 2005. Proceedings. International Conference on: IEEE, pp. 98–107, 2005.
Improving Byzantine Protocols with Secure Computational Components,
: Department of Informatics, University of Lisbon, 2005.
"Low complexity Byzantine-resilient consensus",
Distributed Computing, vol. 17, no. 3: Springer-Verlag, pp. 237–249, 2005.
"A New Approach to Proactive Recovery",
Fifth European Dependable Computing Conference (EDCC-5) Supplemental Volume. Budapest, Hungary, pp. 35–40, 2005.
Resilence State Machine Replication,
, 2005.
"Resilient state machine replication",
Dependable Computing, 2005. Proceedings. 11th Pacific Rim International Symposium on: IEEE, pp. 5–pp, 2005.
"Solving vector consensus with a wormhole",
Parallel and Distributed Systems, IEEE Transactions on, vol. 16, no. 12: IEEE, pp. 1120–1131, 2005.
Tolerância a Intrusões em Sistemas Informáticos,
: Department of Informatics, University of Lisbon, 2005.
"Um Núcleo de Segurança Distribu{ído para Suporte a Protocolos Tolerantes a Intrusões",
1ª Conferência Nacional sobre Segurança Informática nas Organizações. Covilhã, Portugal, 2005.
"Actualização Segura e Automática de Aplicações em Terminais de Venda",
Actas da 7ª Conferência sobre Redes de Computadores, CRC, 2004.
"Byzantine-resistant consensus based on a novel approach to intrusion tolerance",
Proceedings of the 10th Pacific Rim International Symposium on Dependable Computing (PRDC'04), 2004.
"Concretização de um Sistema de Comunicação em Grupo Tolerante a Intrusões",
Actas da, vol. 27, pp. 111–122, 2004.
"How to tolerate half less one Byzantine nodes in practical distributed systems",
Proceedings of the 23rd IEEE International Symposium on Reliable Distributed Systems, 2004.: IEEE, pp. 174–183, 2004.
Intrusion-Tolerant Middleware: The MAFTIA Approach,
: Department of Informatics, University of Lisbon, 2004.
"An intrusiontolerant web server based on the DISTRACT architecture",
In Proceedings of the Workshop on Dependable Distributed Data Management: Citeseer, 2004.
"Projecto de Avaliação de Sistemas de Votação Electrónica–Resultados da Auditoria",
Faculdade de Ciências da Universidade de Lisboa, 2004.
"Secure Application Updates on Point of Sale Devices.",
ICETE (2), pp. 38–45, 2004.
Tolerância a Intrusões num Sistema em Grid,
: 7ª Conferência sobre Redes de Computadores (CRC 2004), 2004.
"Tolerating Intrusions in Grid Systems.",
Security and Management, pp. 207–220, 2004.
Wormhole-aware Byzantine protocols,
, 2004.
"Complete specification of APIs and protocols for the MAFTIA middleware",
TECHNICAL REPORT SERIES-UNIVERSITY OF NEWCASTLE UPON TYNE COMPUTING SCIENCE: University of Newcastle Upon Tyne., 2003.
"Concepts and Design''",
Architecting Dependable Systems TR-03-5, April, 2003.
"Intrusion-tolerant architectures: Concepts and design",
Architecting Dependable Systems: Springer-Verlag LNCS 2677, pp. 3–36, 2003.
"A simple intrusion-tolerant reliable multicast protocol using the TTCB",
of: 21o Simpósio Brasileiro de Redes de Computadores, pp. 649–663, 2003.
"WIT-GCS–a wormhole-based intrusion-tolerant group communication system",
Submitted for publication, 2003.
"A Wormhole-based Intrusion-Tolerant Group Communication System–WIT-GCS",
The 5th Cabernet Plenary Workshop, 2003.
"Complete Specification of APIs and Protocols for the {MAFTIA} Middleware",
DI/FCUL TR, no. 02-11, 2002.
"Complete Specification of APIs and Protocols for the {MAFTIA} Middleware",
DI/FCUL TR, no. 02-11, 2002.
"The design of a COTS real-time distributed security kernel",
Dependable Computing EDCC-4: Springer, pp. 634–638, 2002.
"Efficient Byzantine-resilient reliable multicast on a hybrid failure model",
Reliable Distributed Systems, 2002. Proceedings. 21st IEEE Symposium on: IEEE, pp. 2–11, 2002.
First Specification of APIs and Protocols for the MAFTIA Middleware,
: University of Newcastle upon Tyne, Computing Science, 2002.
"The architecture of a secure group communication system based on intrusion tolerance",
Distributed Computing Systems Workshop, 2001 International Conference on: IEEE, pp. 17–22, 2001.
The design of a COTS real-time distributed security kernel (extended version),
: Department of Informatics, University of Lisbon, 2001.
First Specification of APIs and Protocols for the MAFTIA Middleware,
: Department of Informatics, University of Lisbon, 2001.
"First Specification of APIs and Protocols for the MAFTIA Middleware",
Project MAFTIA IST-1999-11583 deliverable D24, 2001.
First Specification of APIs and Protocols for the MAFTIA Middleware,
: Department of Informatics, University of Lisbon, 2001.
MAFTIA (Malicious-and Accidental-Fault Tolerance for Internet Applications),
: DSN 2001-International Conference on Dependable Systems and Networks, 2001.
"Service and Protocol Architecture for the MAFTIA Middleware",
Deliverable D23, Project MAFTIA IST-1999-11583, 2001.
Service and Protocol Architecture for the MAFTIA Middleware,
: Department of Informatics, University of Lisbon, 2001.
"Dependable distributed and mobile computing–utilizing time to enhance recovery from failures",
Dependable Network Computing: Springer US, pp. 315–339, 2000.
The middleware architecture of MAFTIA: A blueprint,
: Department of Informatics, University of Lisbon, 2000.
"The middleware architecture of MAFTIA: A blueprint",
In Proceedings of the IEEE Third Information Survivability Workshop (ISW-2000, 2000.
"Adaptive checkpointing with storage management for mobile environments",
IEEE Transactions on Reliability, vol. 48, no. 4, pp. 315–324, 1999.
"Coordinated checkpointing without direct coordination",
Computer Performance and Dependability Symposium, 1998. IPDS'98. Proceedings. IEEE International: IEEE, pp. 23–31, 1998.
"RENEW: A tool for fast and efficient implementation of checkpoint protocols",
Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on: IEEE, pp. 58–67, 1998.
Time-based coordinated checkpointing,
: University of Illinois at Urbana-Champaign, 1998.
"Fault detection using hints from the socket layer",
Reliable Distributed Systems, 1997. Proceedings., The Sixteenth Symposium on: IEEE, pp. 64–71, 1997.
"Adaptive recovery for mobile environments",
High-Assurance Systems Engineering Workshop, 1996. Proceedings., IEEE: IEEE, pp. 134–141, 1996.
"Lightweight logging for lazy release consistent distributed shared memory",
ACM SIGOPS Operating Systems Review, vol. 30, no. si, pp. 59–73, 1996.
"A study of a non-linear optimization problem using a distributed genetic algorithm",
Parallel Processing, 1996. Vol. 3. Software., Proceedings of the 1996 International Conference on, vol. 2: IEEE, pp. 29–36, 1996.
"Using time to improve the performance of coordinated checkpointing",
Computer Performance and Dependability Symposium, 1996., Proceedings of IEEE International: IEEE, pp. 282–291, 1996.
"A checkpoint protocol for an entry consistent shared memory system",
Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing: ACM, pp. 121–129, 1994.
"The DiSOM distributed shared object memory",
Proceedings of the 6th workshop on ACM SIGOPS European workshop: Matching operating systems to application needs: ACM, pp. 138–140, 1994.
"Orthogonal persistence in a heterogeneous distributed object-oriented environment",
The Computer Journal, vol. 37, no. 6: Br Computer Soc, pp. 531–541, 1994.
"MIKE: A Distributed object-oriented programming platform on top of the Mach micro-kernel",
Proceedings of the 3rd conference on USENIX MACH III Symposium-Volume 1: USENIX Association, pp. 6–6, 1993.
