CyberCardia project holds annual PI meeting at Georgia Tech, April 26-27, 2018

The CyberCardia project held its annual PI meeting at Georgia Tech (Georgia Institute of Technology) on April 26-27, 2018.  The meeting, which was attended by the project PIs and their students, was a great success.  Far-ranging presentations were given on a number of topics, including "Synchronization in defibrillation with LEAP", "Computer Aided Clinical Trials", "Recent progress on Lagrangian Reachability", "Alternans control with constant DI in Zebra fish", "Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices", and "Automated Specification Extraction and Analysis with Specstr