selected publications

• academic article

  • ASSURED: Architecture for Secure Software Update of Realistic Embedded Devices.  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.  37:2290-2300. 2018

• chapter

  • Platform Comparison.  Springer eBooks. 29-44. 2014
  • Securing Peer-to-Peer Distributions for Mobile Devices.  Springer eBooks. 161-175. 2008
  • E-Passport: The Global Traceability Or How to Feel Like a UPS Package.  Springer eBooks. 391-404. 2007

• conference paper

  • ConXsense.  . 2014
  • A practical property-based bootstrap architecture.  . 2009