Alysson Bessani

2015
Distler, T., Bahn C., Bessani A. Neves, Fischer F., & Junqueira F. (2015).  Extensible distributed coordination. Proceedings of the Tenth European Conference on Computer Systems. 10.
2014
Garcia, M., Bessani A. Neves, Gashi I., Neves N. Ferreira, & Obelheiro R. (2014).  Analysis of operating system diversity for intrusion tolerance. Software: Practice and Experience. 44, 735–770.
Bessani, A. Neves, & Correia M. (2014).  Consistency Anchor Formalization and Correctness Proofs.
Miguel, C., & Bessani A. Neves (2014).  Consistency Anchor Formalization and Correctness Proofs.
Botelho, F., Bessani A. Neves, Ramos F. M. V., & Ferreira P. (2014).  On the design of practical fault-tolerant SDN controllers. Proc. of the 3rd European Workshop on Software Defined Networks–EWSDN. 14,
Alchieri, E. Adilio Pel, Bessani A. Neves, Greve F., & Fraga J. da Silva (2014).  Modular Quorum Systems Reconfigurations. Computer Networks and Distributed Systems (SBRC), 2014 Brazilian Symposium on. 147–155.
Bessani, A. Neves, Mendes R., Oliveira T., Neves N. Ferreira, Correia M., Pasin M., et al. (2014).  SCFS: a shared cloud-backed file system. Usenix ATC.
Oliveira, T., Mendes R., & Bessani A. Neves (2014).  Sharing Files Using Cloud Storage Services. Euro-Par 2014: Parallel Processing Workshops. 13–25.
Botelho, F., Bessani A. Neves, Ramos F. M. V., & Ferreira P. (2014).  SMaRtLight: A Practical Fault-Tolerant SDN Controller. arXiv preprint arXiv:1407.6062.
Bessani, A. Neves, Sousa J., & Alchieri E. E. P. (2014).  State machine replication for the masses with BFT-SMaRt. Dependable Systems and Networks (DSN), 2014 44th Annual IEEE/IFIP International Conference on. 355–362.
Bessani, A. Neves, Cutillo L. A., Ramunno G., Schirmer N., & Smiraglia P. (2014).  The TClouds Platform: From the Concept to the Implementation of Benchmark Scenarios. ACM SIGOPS Operating Systems Review. 48, 13–22.
Kreutz, D., Bessani A. Neves, Feitosa E., & Cunha H. (2014).  Towards Secure and Dependable Authentication and Authorization Infrastructures. Dependable Computing (PRDC), 2014 IEEE 20th Pacific Rim International Symposium on. 43–52.
2013
Bessani, A. Neves, Correia M., Quaresma B., André F., & Sousa P. (2013).  DepSky: dependable and secure storage in a cloud-of-clouds. ACM Transactions on Storage (TOS). 9, 12.
Bessani, A. Neves, Santos M., Felix J., Neves N. Ferreira, & Correia M. (2013).  On the Efficiency of Durable State Machine Replication.. USENIX Annual Technical Conference. 169–180.
Veronese, G. Santos, Correia M., Bessani A. Neves, L Lung C., & Verissimo P. (2013).  Efficient byzantine fault-tolerance. Computers, IEEE Transactions on. 62, 16–30.
Costa, P., Pasin M., Bessani A. Neves, & Correia M. (2013).  Fac. de Cienc., Univ. de Lisboa, Lisbon, Portugal. Dependable and Secure Computing, IEEE Transactions on. 10, 301–313.
Botelho, F., Ramos F. M. V., Kreutz D., & Bessani A. Neves (2013).  On the feasibility of a consistent and fault-tolerant data store for SDNs. Software Defined Networks (EWSDN), 2013 Second European Workshop on. 38–43.
Cogo, V. Vielmo, Nogueira A., Sousa J., Pasin M., Reiser H. P., & Bessani A. Neves (2013).  FITCH: Supporting Adaptive Replicated Services in the Cloud. Distributed Applications and Interoperable Systems. 15–28.
Garcia, M., Neves N. Ferreira, & Bessani A. Neves (2013).  An intrusion-tolerant firewall design for protecting SIEM systems. 2013 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop (DSN-W). 1–7.
Costa, P., Pasin M., Bessani A. Neves, & Correia M. (2013).  On the Performance of Byzantine Fault-Tolerant MapReduce. IEEE Transactions on Dependable and Secure Computing. 301–313.
Sousa, J., Alchieri E., & Bessani A. Neves (2013).  State Machine Replication for the Masses with BFT-SMaRt.
Bessani, A. Neves, Cutillo L. A., Ramunno G., Schirmer N., & Smiraglia P. (2013).  The TClouds platform: concept, architecture and instantiations. Proceedings of the 2nd International Workshop on Dependability Issues in Cloud Computing. 1.
2012
Alchieri, E., Bessani A. Neves, Greve F., & Fraga J. da Silva (2012).  Brief announcement: decoupled and consensus-free reconfiguration for fault-tolerant storage. Distributed Computing. 443–444.
Mendes, R., Oliveira T., Bessani A. Neves, & Pasin M. (2012).  C2FS: um Sistema de Ficheiros Seguro e Fiável para Cloud-of-clouds. INForum12, September.
Bessani, A. Neves, Vial E., Garcia M., Fonseca R., Rouhani H., & Verissimo P. (2012).  D5. 1.3-Proof-of-concept Prototype of Defense Mechanisms.

Pages