Start of topic | Skip to actions
Deliverables of the MOBIUS project:
Year 1
| Nš | Description | Date | Resp | Download (pdf) |
|---|---|---|---|---|
| D1.1 | Report on resource and information flow security requirements | March 06 | UEDIN |  |
| D1.2 | Report on framework-specific and application-specific security | Sept 06 | RUN | |
| D2.1 | Intermediate report on type systems | Sept 06 | LMU | |
| D3.1 | Report on byte code level specification language and program logic | Sept 06 | WU | |
| D4.1 | Scenarios and requirements for PCC | Sept 06 | UPM | |
Year 2
| Nš | Description | Date | Creation | Rev. | Resp | Download (pdf) |
|---|---|---|---|---|---|---|
| D2.2 | Intermediate report on implementation of type systems | March 07 | x | TL | | |
| D3.2 | Intermediate report on embedding type-based analyses into program logics | March 07 | x | CTH | | |
| D3.3 | Preliminary report on thread-modular verification | March 07 | x | INRIA | | |
| D5.1 | Report on selection of case studies and requirements | March 07 | x | FT | | |
| D2.3 | Report on type sytems | Sept 07 | D2.1 | RWTH | | |
| D3.4 | Report on logic for resources and information flow | Sept 07 | x | UEDIN | | |
| D4.2 | Report on certificate format and certificate generation | Sept 07 | x | LMU | | |
| D4.3 | Preliminary report on proof transforming compiler | Sept 07 | x | ETH | |
Year 3
| Nš | Description | Date | Creation | Rev. | Resp | Download (pdf) |
|---|---|---|---|---|---|---|
| D2.4 | Report on type system prototypes | March 08 | D2.2 | TL | | |
| D3.5 | Preliminary report on program verification environment and annotation generation | March 08 | x | UCD | | |
| D2.5 | Report on safe information release | Sept 08 | x | CTH | | |
| D2.6 | Preliminary report on advanced resource policies | Sept 08 | x | UEDIN | | |
| D3.6 | Preliminary report on modular verification | Sept 08 | x | ETH | | |
| D4.4 | Report on certificate format and certificate generation | Sept 08 | D4.2 | INRIA | | |
| D4.5 | Report on proof-transformation for optimizing compilers | Sept 08 | x | IOC | |
Year 4
| Nš | Description | Date | Creation | Rev. | Resp | Download (pdf) |
|---|---|---|---|---|---|---|
| D3.7 | Report on multi-threading | Mar 09 | D3.3 | INRIA | | |
| D3.8 | Report on embedding type-based analyses into program logics | Mar 09 | D3.2 | CTH | | |
| D2.7 | Report on advanced resource policies | Sept 09 | D2.6 | UEDIN | | |
| D3.9 | Report on modular verification | Sept 09 | D3.6 | ETH | | |
| D3.10 | Report on program verification environment and annotation generation | Sept 09 | D3.5 | RUN | | |
| D4.6 | Report on proof transforming compiler | Sept 09 | x | IOC | | |
| D4.7 | Report on on-device checking | Sept 09 | x | INRIA | | |
| D5.2 | Evaluation on case studies | Sept 09 | x | FT | |
Management and activity reports are not public deliverables.
Note: R = Report, Pu = Public