- Microsoft Research
According to our database1, Manuel Costa authored at least 38 papers between 1996 and 2022.
Legend:Book In proceedings Article PhD thesis Other
Dropbear: Machine Learning Marketplaces made Trustworthy with Byzantine Model Agreement.
Proceedings of the 19th USENIX Symposium on Networked Systems Design and Implementation, 2022
Toward Confidential Cloud Computing: Extending hardware-enforced cryptographic protection to data while in use.
ACM Queue, 2021
Proceedings of the MMSys '21: 12th ACM Multimedia Systems Conference, Istanbul, Turkey, 28 September 2021, 2021
Proceedings of the 2018 IEEE Symposium on Security and Privacy, 2018
Proc. ACM Program. Lang., 2017
J. Aerosp. Inf. Syst., 2017
Strong and Efficient Cache Side-Channel Protection using Hardware Transactional Memory.
Proceedings of the 26th USENIX Security Symposium, 2017
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017
Proceedings of the 25th USENIX Security Symposium, 2016
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016
Proceedings of the 2015 IEEE Symposium on Security and Privacy, 2015
Proceedings of the 15th Workshop on Hot Topics in Operating Systems, 2015
Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, 2015
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014
Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010
Baggy Bounds Checking: An Efficient and Backwards-Compatible Defense against Out-of-Bounds Errors.
Proceedings of the 18th USENIX Security Symposium, 2009
Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, 2009
ACM Trans. Comput. Syst., 2008
Proceedings of the 2008 IEEE Symposium on Security and Privacy (S&P 2008), 2008
Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems, 2008
Proceedings of the 21st ACM Symposium on Operating Systems Principles 2007, 2007
Proceedings of the 7th Symposium on Operating Systems Design and Implementation (OSDI '06), 2006
Proceedings of the 20th ACM Symposium on Operating Systems Principles 2005, 2005
Proceedings of the International Conference on Computer Graphics and Interactive Techniques, 2005
Proceedings of the 2nd Symposium on Networked Systems Design and Implementation (NSDI 2005), 2005
Proceedings of the Peer-to-Peer Systems IV, 4th International Workshop, 2005
Proceedings of the 24th International Conference on Distributed Computing Systems (ICDCS 2004), 2004
Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004
Proceedings of the 24th Annual Conference of the European Association for Computer Graphics, 2003
Proceedings of the Second USENIX Symposium on Operating Systems Design and Implementation (OSDI), 1996
Proceedings of the 1996 International Conference on Parallel Processing, 1996