Projects I have worked on

Wireless sensor networks:

Time series forecasting in sensor networks 

•  Low-energy time synchronization

•  Approximate query answering  

Redesigning quorum systems for sensor networks

• Strong data guarantees in highly mobile networks 
• Quorum systems for mobile networks

Secure distributed systems:

• The Fleet system 
• RSTS: a Robust and Scalable Timestamping System 

The probabilistic prover