Publications

Export 42 results:
Filters: Author is L Cheuk Lung  [Clear All Filters]
2013
Veronese, G. Santos, M. Correia, A. Neves Bessani, C. L Lung, and P. Verissimo, "Efficient byzantine fault-tolerance", Computers, IEEE Transactions on, vol. 62, no. 1: IEEE, pp. 16–30, 2013.
2011
Luiz, A. Fernando, C. L Lung, and M. Correia, "Byzantine fault-tolerant transaction processing for replicated databases", Network Computing and Applications (NCA), 2011 10th IEEE International Symposium on: IEEE, pp. 83–90, 2011.
Luiz, A. Fernando, C. L Lung, and M. Correia, "Protocolo tolerante a faltas bizantinas para bases de dados transacionais", Anais do XXIX Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuıdos, pp. 559–572, 2011.
2010
Correia, M., G. Santos Veronese, and C. L Lung, "Asynchronous Byzantine consensus with 2f+ 1 processes", Proceedings of the 2010 ACM Symposium on Applied Computing: ACM, pp. 475–480, 2010.
Veronese, G. Santos, M. Correia, A. Neves Bessani, and C. L Lung, "EBAWA: Efficient Byzantine agreement for wide-area networks", High-Assurance Systems Engineering (HASE), 2010 IEEE 12th International Symposium on: IEEE, pp. 10–19, 2010.
Stumm, V., C. L Lung, M. Correia, J. da Silva Fraga, and J. Lau, "Intrusion tolerant services through virtualization: A shared memory approach", Advanced Information Networking and Applications (AINA), 2010 24th IEEE International Conference on: IEEE, pp. 768–774, 2010.
Júnior, V. Stumm, C. L Lung, M. Correia, J. da Silva Fraga, and J. Lau, SMIT: Uma Arquitetura Tolerante a Intrusoes Baseada em Virtualizaç ao, , 2010.
2009
Correia, M., G. Santos Veronese, and C. L Lung, Asynchronous Byzantine Consensus with 2f+ 1 Processes (extended version), , 2009.
Bessani, A. Neves, M. Correia, J. da Silva Fraga, and C. L Lung, "An efficient Byzantine-resilient tuple space", Computers, IEEE Transactions on, vol. 58, no. 8: IEEE, pp. 1080–1094, 2009.
Veronese, G. Santos, M. Correia, A. Neves Bessani, and C. L Lung, "Highly-resilient services for critical infrastructures", Proceedings of the Embedded Systems and Communications Security Workshop, 2009.
Veronese, G. Santos, M. Correia, A. Neves Bessani, C. L Lung, and P. Verissimo, Minimal Byzantine fault tolerance: Algorithm and evaluation, , 2009.
Bessani, A. Neves, M. Correia, J. da Silva Fraga, and C. L Lung, "Sharing memory between Byzantine processes using policy-enforced tuple spaces", Parallel and Distributed Systems, IEEE Transactions on, vol. 20, no. 3: IEEE, pp. 419–432, 2009.
Bessani, A. Neves, G. Santos Veronese, C. L Lung, and M. Correia, Spin One's Wheels? Byzantine Fault Tolerance with a Spinning Primary, , 2009.
Veronese, G. Santos, M. Correia, A. Neves Bessani, and C. L Lung, "Spin One's Wheels? Byzantine Fault Tolerance with a Spinning Primary", Reliable Distributed Systems, 2009. SRDS'09. 28th IEEE International Symposium on: IEEE, pp. 135–144, 2009.
2008
Veronese, G. Santos, M. Correia, C. L Lung, and P. Verissimo, "Finite Memory: a Vulnerability of Intrusion-Tolerant Systems", Network Computing and Applications, 2008. NCA'08. Seventh IEEE International Symposium on: IEEE, pp. 37–44, 2008.
Veronese, G. Santos, M. Correia, C. L Lung, and A. Neves Bessani, Minimal Byzantine fault tolerance, : Department of Informatics, University of Lisbon, 2008.
Luiz, A. Fernando, A. Neves Bessani, C. L Lung, and T. Filgueiras, "REPEATS: Uma arquitetura para replicaç ao tolerante a faltas bizantinas baseada em espaço de tuplas", Anais do XXVI Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuıdos. SBC, 2008.
Favarim, F., J. da Silva Fraga, E. Adilio Pel Alchieri, A. Neves Bessani, and C. L Lung, "Transações em Espaços de Tuplas com Segurança de Funcionamento", Anais do XXVI Simpósio Brasileiro de Redes de Computadores e Sistemas Distribu{ídos (SBRC'2008), pp. 847–860, 2008.
2007
Bessani, A. Neves, M. Correia, J. da Silva Fraga, and C. L Lung, "Decoupled quorum-based Byzantine-resilient coordination in open distributed systems", Network Computing and Applications, 2007. NCA 2007. Sixth IEEE International Symposium on: IEEE, pp. 231–238, 2007.
Bessani, A. Neves, E. Adilio Pel Alchieri, M. Correia, J. da Silva Fraga, and C. L Lung, "DEPSPACE: Um Middleware para Coordenaç ao em Ambientes Dinâmicos e Nao Confiaveis", Salao de Ferramentas do XXV Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuıdos, SBC, 2007.
Bessani, A. Neves, E. Adılio Pe Alchieri, J. da Silva Fraga, and C. L Lung, "Design and implementation of an intrusion-tolerant tuple space", Proceedings of the International Workshop on Recent Advances on Intrusion-Tolerant Systems (with EuroSys 2007), 2007.
Veronese, G. Santos, V. Miguel, C. Lau, C. L Lung, and P. Verissimo, On the Effects of Finite Memory on Intrusion-Tolerant Systems*, , 2007.
Veronese, G. Santos, M. Correia, C. L Lung, and P. Verissimo, "On the effects of finite memory on intrusion-tolerant systems", Dependable Computing, 2007. PRDC 2007. 13th Pacific Rim International Symposium on: IEEE, pp. 401–404, 2007.
Favarim, F., J. da Silva Fraga, C. L Lung, M. Correia, and J. Felipe Santos, "Exploiting tuple spaces to provide fault-tolerant scheduling on computational grids", Object and Component-Oriented Real-Time Distributed Computing, 2007. ISORC'07. 10th IEEE International Symposium on: IEEE, pp. 403–411, 2007.
Favarim, F., J. da Silva Fraga, C. L Lung, and M. Correia, "GridTS: A new approach for fault-tolerant scheduling in grid computing", Network Computing and Applications, 2007. NCA 2007. Sixth IEEE International Symposium on: IEEE, pp. 187–194, 2007.
Correia, M., N. Ferreira Neves, C. L Lung, and P. Verissimo, "Worm-IT–a wormhole-based intrusion-tolerant group communication system", Journal of Systems and Software, vol. 80, no. 2: Elsevier, pp. 178–197, 2007.
2006
Bessani, A. Neves, M. Correia, J. da Silva Fraga, and C. L Lung, "Brief announcement: Decoupled quorum-based Byzantine-resilient coordination in open distributed systems", Distributed Computing: Springer Berlin Heidelberg, pp. 554–556, 2006.
Bessani, A. Neves, J. da Silva Fraga, and C. L Lung, "BTS: A Byzantine fault-tolerant tuple space", Proceedings of the 2006 ACM symposium on Applied computing: ACM, pp. 429–433, 2006.
Favarim, F., C. L Lung, J. da Silva Fraga, and M. Correia, "Fault-tolerant multiuser computational grids based on tuple spaces", International Workshop on Dependability in Service-oriented Grids (WODSOG), 2006.
Obelheiro, R. R., A. Neves Bessani, C. L Lung, and M. Correia, How practical are intrusion-tolerant distributed systems?, : Department of Informatics, University of Lisbon, 2006.
L Lung, C., F. Favarim, G. Santos Veronese, and M. Correia, "An infrastructure for adaptive fault tolerance on FT-CORBA", Object and Component-Oriented Real-Time Distributed Computing, 2006. ISORC 2006. Ninth IEEE International Symposium on: IEEE, pp. 8–pp, 2006.
Bessani, A. Neves, E. Adılio Pe Alchieri, M. Correia, J. da Silva Fraga, and C. L Lung, "Provendo confidencialidade em espaços de tuplas tolerantes a intrusoes", Anais do 6o Simpósio Brasileiro em Segurança da Informaç ao e de Sistemas Computacionais-SBSeg 2006, 2006.
Bessani, A. Neves, M. Correia, J. da Silva Fraga, and C. L Lung, Towards a dependable tuple space, : Department of Informatics, University of Lisbon, 2006.
2005
Correia, M., A. Neves Bessani, N. Ferreira Neves, C. L Lung, and P. Verissimo, Improving Byzantine Protocols with Secure Computational Components, : Department of Informatics, University of Lisbon, 2005.
Correia, M., N. Ferreira Neves, C. L Lung, and P. Verissimo, "Low complexity Byzantine-resilient consensus", Distributed Computing, vol. 17, no. 3: Springer-Verlag, pp. 237–249, 2005.
2004
Correia, M., N. Ferreira Neves, C. L Lung, and P. Verissimo, "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.
2003
L Lung, C., M. Correia, N. Ferreira Neves, and P. Verissimo, "A simple intrusion-tolerant reliable multicast protocol using the TTCB", of: 21o Simpósio Brasileiro de Redes de Computadores, pp. 649–663, 2003.
Correia, M., C. L Lung, N. Ferreira Neves, and P. Verissimo, A Simple Intrusion-Tolerant Reliable Multicast Protocol using the TTCBe Model, , 2003.
Correia, M., N. Ferreira Neves, C. L Lung, and P. Verissimo, "WIT-GCS–a wormhole-based intrusion-tolerant group communication system", Submitted for publication, 2003.
Correia, M., N. Ferreira Neves, C. L Lung, and P. Verissimo, "A Wormhole-based Intrusion-Tolerant Group Communication System–WIT-GCS", The 5th Cabernet Plenary Workshop, 2003.
2002
Correia, M., C. L Lung, N. Ferreira Neves, and P. Verissimo, "Efficient Byzantine-resilient reliable multicast on a hybrid failure model", Reliable Distributed Systems, 2002. Proceedings. 21st IEEE Symposium on: IEEE, pp. 2–11, 2002.
2001
Armstrong, J., C. Cachin, M. Correia, A. Costa, H. Miranda, N. Ferreira Neves, N. Ferreira Neves, JA. Poritz, B. Randell, C. L Lung, et al., First Specification of APIs and Protocols for the MAFTIA Middleware, : Department of Informatics, University of Lisbon, 2001.