Petros Maniatis
Intel Labs and
Intel Science And Technology Center on Secure Computing at UC Berkeley
Soda Hall 711
Berkeley, CA 94720-1776, USA
T: +1-510-643-8691
E: firstname dot lastname at company dot com

Biography

Welcome! This is a corporation and my bio can only be in the third person for maximum effect so now that I've welcomed you, here it is:

Petros Maniatis is a Senior Research Scientist at Intel Labs. He is currently a member of the Intel Science and Technology Center on Secure Computing at UC Berkeley. Between 2003 and 2011, he was a research scientist at Intel Labs Berkeley. He received his MSc and Ph.D. from the Computer Science Department at Stanford University. Prior to Stanford, he obtained his BSc with honors at the Department of Informatics of the University of Athens in Greece. His research interests lie primarily in the confluence of distributed systems, security, and fault tolerance.

Research

My research interests lie in distributed systems, dependability, and security. I am particularly interested in making it easier to build large-scale distributed systems in a sustainable way that reduces unnecessary work for the designers and maintainers and improves their ability to obtain efficient, dependable results.

My current main project is Customized Secure Networked Systems. Its focus is to build MOMMIE (which we have barely managed to make stand for Middleware for Optimized Messaging in Insecure Environments), a messaging middleware that makes it easier for developers to build secure distributed applications while getting high performance from the resources they have available (computers, networks, software). The main idea is to abstract the security properties of an application above implementational details (for example, building blocks such as the particular crypto algorithm or auditing protocol) by using annotations for data in a typical language such as C++. A compiler then implements the abstractions with available building blocks.

This approach has some neat features:

I am also working on a number of projects that seek to provide new, fault-tolerant solutions to existing distributed problems. I have worked both at the algorithmic/protocol layer, for instance to describe systems with weak consistency that can tolerate Byzantine faults, and at the hardware layer, defining trusted abstractions that can make existing fault-tolerant protocols less complex and more powerful. In fact, my work on customized secure networked systems and MOMMIE comes precisely in response to my experiences building large-scale fault-tolerant and secure distributed systems, and the problems I faced in the process.

Service

I have been involved in the organization of the following conferences and workshops.

HotOS 2013 (Chair), EuroSys 2013, OSDI 2012, SOSP 2011, HotOS 2011, DSN/PDS 2011, ICDCN 2011, MobiHeld 2010, NSDI 2010, NetDB 2009, HotOS 2009, EuroSys 2009, NSDI 2009, HotDep 2008 (Co-chair), DSN/PDS 2008, EuroSys 2008, FAST 2008, HotDep 2007, NSDI 2007, HotDep 2006, DISC 2006.

Collaborators

Over the years, I have had the pleasure of supervising a number of talented students, some of whom I still actively collaborate with, and some of whom have moved on to bigger and better things. Here is a partial list:

I have also had the great opportunity to be in the thesis committees of several brilliant students:

Peer-Reviewed Publications

2013

Symbolic Software Model Validation

Cynthia Sturton, Rohit Sinha, Thurston Dang, Sakshi Jain, Michael McCoyd, Wei Yang Tan, Petros Maniatis, Sanjit A. Seshia, David Wagner. Proceedings of the ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE), Portland, OR, USA. October, 2013. [PDF]

Mantis: Automatic Performance Prediction for Smartphone Applications

Yongin Kwon, Sangmin Lee, Hayoon Yi, Donghyun Kwon, Seungjun Yang, Byung-Gon Chun, Ling Huang, Petros Maniatis, Mayur Naik, Yunheung Paek. Proceedings of the USENIX Annual Technical Conference (ATC), San Jose, CA, USA. June, 2013. [PDF]

Towards Verifiable Resource Accounting for Outsourced Computation

Chen Chen, Petros Maniatis, Adrian Perrig, Amit Vasudevan, Vyas Sekar. Proceedings of the International Conference on Virtual Execution Environments (VEE), Houston, TX, USA. March, 2013. [PDF]

2012

Verification with Small and Short Worlds

Rohit Sinha, Cynthia Sturton, Petros Maniatis, Sanjit A. Seshia, David Wagner. Proceedings of Formal Methods in Computer-Aided Design (FMCAD), Cambridge, UK. October, 2012. [PDF]

Path-Exploration Lifting: Hi-fi Tests for Lo-fi Emulators

Lorenzo Martignoni, Stephen McCamant, Pongsin Poosankam, Dawn Song, Petros Maniatis. Proceedings of the Seventeenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), London, UK. March, 2012. [PDF]

2011

Verifiable Resource Accounting for Cloud Computing Services

Vyas Sekar, Petros Maniatis. Proceedings of the ACM Cloud Computing Security Workshop (CCSW), Chicago, IL, USA. October, 2011. [PDF]

Secure Data Preservers for Web Services

Jayanthkumar Kannan, Petros Maniatis, Byung-Gon Chun. Proceedings of the 2nd USENIX Conference on Web Application Development (WebApps), Portland, OR, USA. June, 2011. [PDF]

MOMMIE Knows Best: Systematic Optimizations for Verifiable Distributed Algorithms

Petros Maniatis, Michael Dietz, Charalampos Papamanthou. Proceedings of the 13th Workshop on Hot Topics in Operating Systems (HotOS XIII), Napa, CA, USA. May, 2011. [PDF]

Making Programs Forget: Enforcing Lifetime for Sensitive Data

Jayanthkumar Kannan, Gautam Altekar, Petros Maniatis, Byung-Gon Chun. Proceedings of the 13th Workshop on Hot Topics in Operating Systems (HotOS XIII), Napa, CA, USA. May, 2011. [PDF]

Do You Know Where Your Data Are? Secure Data Capsules for Deployable Data Protection

Petros Maniatis, Devdatta Akhawe, Kevin Fall, Elaine Shi, Stephen McCamant, Dawn Song. Proceedings of the 13th Workshop on Hot Topics in Operating Systems (HotOS XIII), Napa, CA, USA. May, 2011. [PDF]

CloneCloud: Elastic Execution Between Mobile Device and Cloud

Byung-Gon Chun, Sunghwan Ihm, Petros Maniatis, Mayur Naik. Proceedings of the 6th European Conference on Computer systems (EuroSys), Salzburg, Austria. April, 2011. [PDF]

Small Trusted Primitives for Dependable Systems

Petros Maniatis, Byung-Gon Chun. ACM SIGOPS Operating Systems Review, 45, 1. January, 2011. [PDF]

2010

Predicting Execution Time of Computer Programs Using Sparse Polynomial Regression

Ling Huang, Jinzhu Jia, Bin Yu, Byung-Gon Chun, Petros Maniatis, Mayur Naik. Proceedings of Neural Information Processing Systems (NIPS), Vancouver, B.C., Canada. December, 2010. [PDF]

Verifiable Network-Performance Measurements

Katerina Argyraki, Petros Maniatis, Ankit Singla. Proceedings of CoNEXT, Philhadelphia, PA, USA. November, 2010. [PDF]

Dynamically Partitioning Applications between Weak Devices and Clouds

Byung-Gon Chun, Petros Maniatis. Proceedings of the 1st ACM Workshop on Mobile Cloud Computing and Services (MCS 2010), San Francisco, CA, USA. June, 2010. [PDF]

2009

Research Highlights: Declarative networking

Boon Thau Loo, Tyson Condie, Minos Garofalakis, David E. Gay, Joseph M. Hellerstein, Petros Maniatis, Raghu Ramakrishnan, Timothy Roscoe, Ion Stoica. Communications of the ACM Volume 52, Issue 11. November, 2009. [PDF]

Augmented Smart Phone Applications Through Clone Cloud Execution

Byung-Gon Chun and Petros Maniatis. Proceedings of HotOS XII, the Twelfth Workshop on Hot Topics in Operating Systems, Monte Verita, Switzerland. May, 2009. [PDF]

Not-a-Bot: Improving Service Availability in the Face of Botnet Attacks

Ramakrishna Gummadi, Hari Balakrishnan, Petros Maniatis, and Sylvia Ratnasamy. Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI), Boston, MA, USA. April, 2009. [PDF]

Zeno: Eventually Consistent Byzantine Fault Tolerance

Atul Singh, Pedro Fonseca, Petr Kuznetsov, Rodrigo Rodrigues, and Petros Maniatis. Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI), Boston, MA, USA. April, 2009. [PDF]

Tiered Fault Tolerance for Long-Term Integrity

Byung-Gon Chun, Petros Maniatis, Scott Shenker, and John Kubiatowicz. Proceedings of the 7th USENIX Conference on File and Storage Technologies (FAST), San Francisco, CA, USA. February, 2009. [PDF]

2008

Defining Weakly Consistent Byzantine Fault-Tolerant Services

Atul Singh, Pedro Fonseca, Petr Kuznetsov, Rodrigo Rodrigues, and Petros Maniatis. Large-Scale Distributed Systems and Middleware (LADIS), Yorktown, NY, USA. September, 2008. [PDF]

Evita Raced: Metacompilation for Declarative Networks

Tyson Condie, David Chu, Joseph M. Hellerstein, and Petros Maniatis. Proceedings of the 34th International Conference on Very Large Data Bases (VLDB), Auckland, New Zealand. August, 2008. [PDF]

Diverse Replication for Single-Machine Byzantine-Fault Tolerance

Byung-Gon Chun, Petros Maniatis, and Scott Shenker. Proceedings of the USENIX Annual Technical Conference, Boston, MA, USA. June, 2008. [PDF]

BFT Protocols Under Fire

Atul Singh, Tathagata Das, Petros Maniatis, Peter Druschel, Timothy Roscoe. Proceedings of the 5th USENIX Symposium on Networked Systems Design and Implementation (NSDI), San Francisco, CA, USA. April, 2008. [PDF]

2007

Attested Append-Only Memory: Making Adversaries Stick to their Word

Byung-Gon Chun, Petros Maniatis, Scott Shenker, John Kubiatowicz. Proceedings of the 21st ACM Symposium on Operating Systems Principles, Skamania Lodge, WA, USA. October, 2007. [PDF]

An Accountability Interface for the Internet

Katerina Argyraki, Petros Maniatis, Olga Irzak, Scott Shenker. Proceedings of the 14th IEEE International Conference on Network Protocols, Beijing, China. October, 2007. [PDF]

MAD Ensembles are SANEr Than You Think

Petros Maniatis. Invited to the 3rd Workshop on the Future of Distributed Computing (FuDiCo), Bertinoro, Italy. June, 2007. [PDF]

Proof Sketches: Verifiable In-Network Aggregation

Minos Garofalakis, Joseph M. Hellerstein, Petros Maniatis. Proceedings of the IEEE 23rd International Conference on Data Engineering, Istanbul, Turkey. April, 2007. [PDF]

Friday: Global Comprehension for Distributed Replay

Dennis Geels, Gautam Altekar, Petros Maniatis, Timothy Roscoe, Ion Stoica Proceedings of the 4th USENIX Symposium on Networked Systems Design and Implementation (NSDI), Cambridge, MA, USA. April, 2007. [PDF]

Public Health for the Internet

Joseph M. Hellerstein, Tyson Condie, Minos Garofalakis, Boon Thau Loo, Petros Maniatis, Timothy Roscoe, Nina A. Taft. Proceedings of the Third Biennial Conference on Innovative Data Systems Research (CIDR), Asilomar, California, USA. January, 2007. [PDF]

2006

Declarative Networking: Language, Execution and Optimization

Boon Thau Loo, Tyson Condie, Minos Garofalakis, David E. Gay, Joseph M. Hellerstein, Petros Maniatis, Raghu Ramakrishnan, Timothy Roscoe, Ion Stoica. Proceedings of the ACM SIGMOD International Conference on Management of Data, Chicago, IL, USA. June, 2006. [PDF]

Using Queries for Distributed Monitoring and Forensics

Atul Singh, Petros Maniatis, Timothy Roscoe, Peter Druschel. Proceedings of the 1st European Conference on Computer systems (EuroSys), Leuven, Belgium. April, 2006. Pages 389--402. [PDF]

A Fresh Look at the Reliability of Long-term Digital Storage

Mary Baker, Mehul Shah, David S. H. Rosenthal, Mema Roussopoulos, Petros Maniatis, TJ Giuli, Prashanth Bungale Proceedings of the 1st European Conference on Computer systems (EuroSys), Leuven, Belgium. April, 2006. Pages 221--234. [PDF]

Induced Churn as Shelter from Routing-Table Poisoning

Tyson Condie, Varun Kacholia, Sriram Sankararaman, Joseph M. Hellerstein, Petros Maniatis Proceedings of the 13th Annual Network and Distributed System Security Symposium, San Diego, California, USA, February, 2006. [PDF]

2005

Finally, a Use for Componentized Transport Protocols

Tyson Condie, Joseph M. Hellerstein, Petros Maniatis, Sean Rhea, Timothy Roscoe, Proceedings of the Fourth Workshop on Hot Topics in Networks, College Park, Maryland, USA, November, 2005. [PDF]

Implementing Declarative Overlays

Boon Thau Loo, Tyson Condie, Joseph M. Hellerstein, Petros Maniatis, Timothy Roscoe, Ion Stoica, Proceedings of the 20th ACM Symposium on Operating Systems Principles, Brighton, UK, October, 2005. [PDF]

The Many Faces of Systems Research -- And How to Evaluate Them

Aaron B. Brown, Anupam Chanda, Rik Farrow, Alexandra Fedorova, Petros Maniatis, Michael L. Scott Proceedings of HotOS X, the Tenth Workshop on Hot Topics in Operating Systems, Santa Fe, New Mexico, USA, June, 2005. [PDF]

Attrition Defenses for a Peer-to-Peer Digital Preservation System.

TJ Giuli, Petros Maniatis, Mary Baker, David S. H. Rosenthal, Mema Roussopoulos, Proceedings of the USENIX Annual Technical Conference, Anaheim, CA, USA, April 2005. [PDF]

The LOCKSS Peer-to-Peer Digital Preservation System

Petros Maniatis, Mema Roussopoulos, TJ Giuli, David S. H. Rosenthal, Mary Baker, ACM Transactions on Computer Systems, Volume 23, Issue 1, February 2005. [PDF]

The Architecture of PIER: an Internet-Scale Query Processor.

Ryan Huebsch, Brent Chun, Joseph M. Hellerstein, Boon Thau Loo, Petros Maniatis, Timothy Roscoe, Scott Shenker, Ion Stoica and Aydan R. Yumerefendi, Proceedings of the 2nd Conference on Innovative Data Systems Research, Asilomar, CA, USA, January 2005. [PDF]

2004

Design Considerations for Information Planes.

Brent Chun, Joseph M. Hellerstein, Ryan Huebsch, Petros Maniatis, and Timothy Roscoe, Proceedings of the Workshop on Real, Large, Distributed Systems (WORLDS'04), San Fransisco, CA, USA, December 2004. [PDF]

Providing Packet Obituaries.

Katerina Argyraki, Petros Maniatis, David Cheriton, Scott Shenker, Proceedings of the 3rd Workshop on Hot Topics in Networks, San Diego, CA, USA, November 2004. [PDF]

Impeding Attrition Attacks in P2P Systems.

Petros Maniatis, TJ Giuli, Mema Roussopoulos, David S. H. Rosenthal, Mary Baker, Proceedings of the 11th ACM SIGOPS European Workshop, Leuven, Belgium, September 2004. [PDF]

Using Hard Disks for Digital Preservation

David Rosenthal, Mema Roussopoulos, TJ Giuli, Petros Maniatis, Mary Baker, IS&T Archiving Conference, San Antonio, TX, USA, April 2004. [PDF]

2 P2P or Not 2 P2P?

Mema Roussopoulos, Mary Baker, David S. H. Rosenthal, TJ Giuli, Petros Maniatis, Jeff Mogul, Proceedings of the Third International Workshop on Peer-to-Peer Systems, San Diego, CA, USA, February 2004. [PDF]

2003

Notes on the Design of an Internet Adversary

David S. H. Rosenthal, Petros Maniatis, Mema Roussopoulos, TJ Giuli, Mary Baker, Adaptive and Resilient Computing Security Workshop, Santa Fe, NM, USA, November 2003. [PDF]

Preserving Peer Replicas By Rate-Limited Sampled Voting

Petros Maniatis, Mema Roussopoulos, TJ Giuli, David S. H. Rosenthal, Mary Baker, and Yanto Muliadi, Proceedings of the 19th ACM Symposium on Operating Systems Principles, Bolton Landing, NY, October, 2003. [PDF][PS][Software] (Related technical report arXiv:cs.CR/0303026 [PDF][Local PDF][Local PS]) Best Paper

A Historic Name-Trail Service

Petros Maniatis and Mary Baker, Proceedings of the Fifth IEEE Workshop on Mobile Computing Systems and Applications, Monterey, California, October 2003. [PDF][PS] (Related technical report arXiv:cs.NI/0210019 [PS] )

Historic Integrity in Distributed Systems

Petros Maniatis, Ph.D. Thesis, Stanford University, Stanford, California, August 2003. [PDF][PS]

Economic Measures to Resist Attacks on a Peer-to-Peer Network

David S. H. Rosenthal, Mema Roussopoulos, Petros Maniatis, and Mary Baker, Workshop on Economics of Peer-to-Peer Systems, Berkeley, CA, June, 2003. [PS][PDF]

2002

Secure History Preservation Through Timeline Entanglement

Petros Maniatis and Mary Baker, Proceedings of the 11th USENIX Security Symposium, San Francisco, CA, USA. August 2002. [PS][PDF][HTML]. (Related technical report arXiv:cs.DC/0202005 [PS] [Local PS][Local PDF]) [Software (unsupported)].

Peer-to-Peer Caching Schemes to Address Flash Crowds

Tyron Stading, Petros Maniatis and Mary Baker, 1st International Workshop on Peer-to-Peer Systems (IPTPS 2002), March 2002. [PDF] [PS]

Enabling the Archival Storage of Signed Documents

Petros Maniatis and Mary Baker, Proceedings of the USENIX Conference on File and Storage Technologies, January 2002.[PDF][PS][PS.GZIP][HTML]

1999

Person-Level Routing in the Mobile People Architecture

Mema Roussopoulos, Petros Maniatis, Edward Swierk, Kevin Lai, Guido Appenzeller, Mary Baker, Proceedings of the USENIX Symposium on Internet Technologies and Systems, October 1999. [PDF] [PS] [HTML]

The Mobile People Architecture

Petros Maniatis, Mema Roussopoulos, Ed Swierk, Kevin Lai, Guido Appenzeller, Xinhua Zhao, and Mary Baker, ACM Mobile Computing and Communications Review (MC2R), July 1999. [PS] [PDF]

Technical Reports

Authenticated Append-only Skip Lists

Petros Maniatis and Mary Baker, Technical Report cs.CR/0302010, http://www.arxiv.org/abs/cs.CR/0302010, February 7, 2003. [PS]. Local copies: [PDF][PS]

Enabling the Long-Term Archival of Signed Documents through Time Stamping

Petros Maniatis, T.J. Giuli, and Mary Baker, Technical Report cs.DC/0106058, http://www.arxiv.org/abs/cs.DC/0106058, June 28, 2001. [PS]. Local copies: [PDF][PS]

IdentiScape: Tackling the Personal Online Identity Crisis

Petros Maniatis and Mary Baker, Technical Report CSL-TR-00-804, Stanford University, June 2000. [PDF] [PS]

The Mobile People Architecture

Guido Appenzeller, Kevin Lai, Petros Maniatis, Mema Roussopoulos, Edward Swierk, Xinhua Zhao and Mary Baker, Technical Report CSL-TR-99-777, Stanford University, January 1999. [PS] [PDF]

Talks and Posters

© 2011 Intel Corporation | Terms of Use | Trademarks | Privacy