Zeta + HOL-Z presentation
A.A.
I’ve uploaded the second presentation regarding ZETA and HOL-Z: Take a look.
4 Comments to Zeta + HOL-Z presentation
Leave a comment
Search
Recent Comments
- Khushal Khan on Dynamic Behavioral Attestation for Mobile Platforms
- Dynamic Behavioral Attestation for Mobile Platforms - Project « recluze on DBAMP
- shazkhan on Backing up OpenMoko FR before bricking it and getting your custom kernel and rootfs onto it …
- shazkhan on Getting Java on Openmoko
- shazkhan on A Standardized .bib File
Archives
- January 2009 (1)
- December 2008 (1)
- November 2008 (7)
- October 2008 (4)
- September 2008 (2)
- August 2008 (4)
- July 2008 (1)
- June 2008 (5)
- January 2008 (5)
- December 2007 (5)
- November 2007 (5)
- October 2007 (3)
- September 2007 (6)
- August 2007 (14)
- July 2007 (25)
- June 2007 (24)
- May 2007 (33)
- April 2007 (70)
Categories
- Achievements (7)
- Announcements (17)
- Blogroll (1)
- Conferences (11)
- Formal Methods (8)
- Ideas (11)
- Isabelle (6)
- Linux (18)
- News (28)
- Publications (1)
- Resources (31)
- SELinux (10)
- Trusted Computing (11)
- Uncategorized (106)
Great Work Nauman.
Tamleek called me today in the morning. Kindly set a time with him on this Sunday, some time in the evening in Pakistan — afternoon here. And lets discuss the whole idea.
Best,
MA
Erm… Should I call him or will he call me?
I am also caught by this enigma, Any ways, see what suits you, but let me know about meeting schedule.
Best,
MA
Hmmm…. Smart boy.
Don’t forget to catch up withsami so that we can have a party from him regarding his job!