Stanford Secure Internet of Things Project
Final Intel/NSF PI Meeting: July 12-13, Stanford

The Secure Internet of Things Project hosted the final PI meeting for the Intel/NSF CPS-Security program on July 12-13, 2018. The two day event was held at the Paul Brest Hall on Stanford Campus. The two Synergy grants funded by the program presented their work over the three years of their grants to Intel and the NSF.

The first grant, titled "Security and Privacy-Aware Cyber-Physical Systems" was led by The University of Pennsylvania, in collaboration with The University of Michigan and Duke University. The second grant, titled "End-to-End Security for the Internet of Things", was led by Stanford University, in collaboration with the University of California, Berkeley. The event included detailed presentations on the research results funded by the program and included a keynote by Carlos Rozas from Intel on recent side channel attacks and countermeasures.

Schedule

Thursday, July 12th
8:30-9:40 Breakfast
9:30-9:40 Introduction, Lily Yang
9:40-10:05 Overview of Project, Insup Lee
10:05-10:30 Overview of Project, Philip Levis
10:30-11:00 Decentralized Authorization and End-to-End Encryption for the Internet of Things, Raluca Ada Popa
11:00-11:30 Break
11:30-12:00 Who Killed My Parked Car?, Kang Shin
12:00-12:30 Security and Privacy-Aware Cyber-Physical Systems: Legal Considerations, Christopher Yoo
12:30-1:30 Lunch
1:30-2:00 Integrating Security in Resource Constrained CPS + demo on eBuggy (electric vehicle), Miroslav Pajic and Vuk Lesi
2:00-2:30 Cryptographic Acceleration with CESEL, Kevin Kiningham
2:30-3:00 Closing the Loop on Secure Operating System Design, Amit Levy
3:00-3:30 Break
3:30-4:00 Better IoT Interfaces, Meghan Clark
4:00-4:30 Gateways are the Lynchpin of the IoT, Prabal Dutta
4:30-6:00 Reception

Friday, July 13th
9:00-9:30 Mapping High-level DSLs to Hardware, Mark Horowitz
9:30-10:00 Wifrost: visualizing and interrogating network activity of IoT devices, Will McGrath and Jeremy Warner
10:00-10:30 Past, present and future of IoT Device Prototyping, Bjoern Hartmann
10:30-11:00 Break
11:00-11:45 Intel keynote on Side Channel Research, Carlos Rozas
11:45-1:00 Lunch
1:00-1:15 CPS Checkpoint and Recovery, Fanxin Rong
1:15-1:30 Bounded-Time Recovery, Andreas Haeberlen and Brian Sandler
1:30-1:45 Timing Provenance, Linh Phan
1:45-2:00 Control with secrecy against eavesdroppers, Tasos Tsiamis and Konstantinos Gatsis
2:00-2:15 Self-Driving Vehicle Verification Challenges/ Benchmark, Nima Roohi
2:15-2:30 Break
2:30-2:50 HIENA: End-to-End Encryption with Delegable Keys for Resource Hierarchies, Yuncong Hu
2:50-3:10 WAVE: A Decentralized Authorization Framework with Transitive Delegation, Sam Kumar
3:10-3:40 Bulletproofs: Short Proofs for Confidential Transactions and More, Dan Boneh
3:40-4:00 Future Directions for Secure Embedded Systems Research, Philip Levis