Apr 12, 2010
Oct 11, 2009
Developed kernel for flash MCUs that continuously monitors firmware controlling each microcontroller and reports to remote parties, using Elliptic Curve Cryptography to authenticate the audit log. Kernel provides fault-tolerance using mechanisms that were formally verified using the Maude model checker.
Sep 21, 2009
Jan 5, 2009
Price-responsive electrical demand-response system, e.g. for laptops and air conditioners, with multiple loci of control.
Jan 7, 2008
Nov 1, 2007
Jun 1, 2007
Jan 3, 2007
DBLP Entry: https://dblp.org/rec/conf/csreaSAM/LeMayT06
Jun 1, 2006
Aug 26, 2004