Leveraging Blockchain-based Protocols in IoT Systems
Dr. Angelos Stavrou – George Mason University
Reflections on Applying Mathematics to Solve Hard Software Problems
Dr. Suresh C. Kothari – Iowa State University
Functional Reactive Programming for Real-Time and Cyber-Physical Systems: Response Time Analysis, Scheduling and Verification
Dr. Albert M.K. Cheng – University of Houston
Intelligent User Interaction Driven by Psychology
Dr. T. Metin Sezgin – Koc University, Istanbul
Life in High-Dimensional Space: Modeling Sequential Changes in Gene Expression
Dr. Joshua Welch – University of North Carolina at Chapel Hill
Fixing the Phone: Designing Strong Authentication for Telephony
Mr. Brad Reaves – University of Florida
General Geometric Models of Image Formation
Dr. Jean Ponce – Ecole Normale Superieure, Paris, France
Reconstructing HDR Images of Complex Dynamic Scenes
Dr. Oguz Akyuz – Middle East Technical University
Record: Temporarily Randomized Encoding of Combinational Logic for Resistance to Data Leakage from Hardware Trojans
Dr. Kevin A. Kwiat – U.S. Air Force Research Laboratory (AFRL)
The Ins and Outs of Preposition Semantics: Challenges of Coverage and Cross-linguistic Adequacy
Dr. Nathan Schneider – Georgetown University