http://lememta.github.io//2014/07/01/CaVa-Compositional-Analysis-of-Android-Bluetooth-Stack/ 2014-07-01T00:00:00+00:00 http://lememta.github.io//2014/07/01/CoCo-Verification-of-Flight-Critical-Systems/ 2014-07-01T00:00:00+00:00 http://lememta.github.io//2014/07/01/CrAVES-Credible-Autocoding-and-Verification-of-Embedded-Software/ 2014-07-01T00:00:00+00:00 http://lememta.github.io//2015/06/01/ISSTAC-Space-Time-Analysis-CyberSecurity/ 2015-06-01T00:00:00+00:00 http://lememta.github.io//2026/02/15/introducing-sage/ 2026-02-15T00:00:00+00:00 http://lememta.github.io//blog/ http://lememta.github.io// http://lememta.github.io//research/