Joe-E Historical Archive
This page contains old historical information about Joe-E.
See www.joe-e.org
for the latest information about Joe-E.
Old stuff:
- The Joe-E Language Specification, Version 1.1, 2009.09.18
- The Joe-E Language Specification, Version 1.0, 2008.08.07
- Draft Specification, 2008.02.03
- Joe-E Verifier 1.0.1, 2007.07.16:
tar.gz,
zip
- Joe-E Verifier 1.0.0, 2007.07.09:
tar.gz,
zip
- Joe-E taming files, 2007.07.09
- Test code, 2007.07.09:
tar.gz,
zip
- Draft Specification, 2007.06.26
- Test code, 2007.06.04
- Joe-E Library 1.0.1, 2007.06.04:
jar,
tar.gz,
zip
- Joe-E Library 1.0, 2007.05.31:
jar,
tar.gz, or
zip
- Test code, 2007.05.31
- Poster (for BEARS 2007), 2007.02.17
- Joe-E taming files,2006.12.22
- Joe-E Verifier 0.5.0, 2006.12.22 (source)
- Joe-E Draft Specification,
2006.12.22
- Joe-E Library, 2006.12.22 jar or
zip
- Joe-E Library 2006.10.05
- Joe-E Verifier 2006.10.05 (plug-in JAR)
- Taming database 2006.10.05
- Joe-E Library 2006.09.14
- Test code, 2006.07.30
- Joe-E
Plug-In, 2006.09.14. with extension location hack; see these
installation instructions.
- Joe-E Draft Specification, 2006.07.30
- Joe-E Library 2006.07.30
- Joe-E Plug-In, 2006.07.11
- Joe-E library, 2006.07.11
(source release)
The Joe-E Authors
(Adrian Mettler
amettler@cs.berkeley.edu,
David Wagner
daw@cs.berkeley.edu);
http://www.cs.berkeley.edu/~daw/joe-e/.
Joe-E is a project of TRUST (The Team for Research in Ubiquitous Secure Technology) and is supported by grants from the National Science Foundation (NSF award number CCF-0424422) and HP.