Nº | Description | Date | Nature | Diss | Resp | Workpackage | Download (pdf) |
---|---|---|---|---|---|---|---|
D6.1 | Dissemination and Training Plan | March 06 | R | Pu | INRIA | WP 6 | |
D6.2 | Dissemination and Training Activity Report, Year 1 | Sept 06 | R | Pu | UEDIN | WP 6 | |
D6.3 | Demonstration Plan | Sept 06 | R | Pu | TLS | WP 6 | |
D4.1 | Scenarios and requirements for PCC | Sept 06 | R | Pu | UPM | WP 4 | |
D3.1 | Report on byte code level specification language and program logic | Sept 06 | R | Pu | WU | WP 3 | |
D2.1 | Intermediate report on type systems | Sept 06 | R | Pu | LMU | WP 2 | |
D1.1 | Report on resource and information flow security requirements | March 06 | R | Pu | UEDIN | WP 1 | |
D1.2 | Report on framework-specific and application-specific security | Sept 06 | R | Pu | RUN | WP 1 |
Nº | Description | Date | Creation | Rev. of | Nat | Diss | Resp | Task related | Download (pdf) |
---|---|---|---|---|---|---|---|---|---|
D2.2 | Intermediate report on implementation of type systems | T0+18 (March 07) | x | R | Pu | TL | 2.6 | ||
D3.2 | Intermediate report on embedding type-based analyses into program logics | T0+18 | x | R | Pu | CTH | 3.5 | ||
D3.3 | Preliminary report on thread-modular verification | T0+18 | x | R | Pu | INRIA | 3.3 | ||
D5.1 | Report on selection of case studies and requirements | T0+18 | x | R | Pu | FT | 5.1 | ||
D2.3 | Report on type sytems | T0+24 (Sept 07) | D2.1 | R | Pu | RWTH | 2.1, 2.3 | ||
D3.4 | Report on logic for resources and information flow | T0+24 | x | R | Pu | UEDIN | 3.2 | ||
D4.2 | Report on certificate format and certificate generation | T0+24 | x | R | Pu | LMU | 4.2, 4.3 | ||
D4.3 | Preliminary report on proof transforming compiler | T0+24 | x | R | Pu | ETH | 4.4 | ||
D6.4 | Yearly dissemination and training activities report | T0+24 | D6.2 | R | Pu | UEDIN | 6.1-5 |
Nº | Description | Date | Creation | Rev. of | Nat | Diss | Resp | Task related | Download (pdf) |
---|---|---|---|---|---|---|---|---|---|
D2.4 | Report on type system prototypes | T0+30 (March 08) | D2.2 | R | Pu | TL | 2.6 | ||
D3.5 | Preliminary report on program verification environment and annotation generation | T0+30 | x | R | Pu | UCD | 3.6, 3.7 | ||
D6.5 | Demonstration report | T0+30 | D6.3 | R | Pu | TLS | 6.6 | ||
D2.5 | Report on safe information release | T0+36 | x | R | Pu | CTH | 2.2 | ||
D2.6 | Preliminary report on advanced resource policies | T0+36 | x | R | Pu | UEDIN | 2.4 | ||
D3.6 | Preliminary report on modular verification | T0+36 | x | R | Pu | ETH | 3.4 | ||
D4.4 | Report on certificate format and certificate generation | T0+36 | D4.2 | R | Pu | INRIA | 4.2, 4.3 | ||
D4.5 | Report on proof-transformation for optimizing compilers | T0+36 | x | R | Pu | IOC | 4.4 | ||
D6.6 | Yearly dissemination and training activities report | T0+36 | D6.4 | R | Pu | UEDIN | 6.1-5 |
Nº | Description | Date | Creation | Rev. of | Nat | Diss | Resp | Task related | Download (pdf) |
---|---|---|---|---|---|---|---|---|---|
D3.7 | Report on multi-threading | T0+42 | D3.3 | R | Pu | INRIA | 3.3 | ||
D3.8 | Report on embedding type-based analyses into program logics | T0+42 | D3.2 | R | Pu | CTH | 3.5 | ||
D2.7 | Report on advanced resource policies | T0+48 | D2.6 | R | Pu | UEDIN | 2.4 | ||
D3.9 | Report on modular verification | T0+48 | D3.6 | R | Pu | ETH | 3.4 | ||
D3.10 | Report on program verification environment and annotation generation | T0+48 | D3.5 | R | Pu | RUN | 3.6, 3.7 | ||
D4.6 | Report on proof transforming compiler | T0+48 | x | R | Pu | IOC | 4.4 | ||
D4.7 | Report on on-device checking | T0+48 | x | R | Pu | INRIA | 4.5-5.4 | ||
D5.2 | Evaluation on case studies | T0+48 | x | R | Pu | FT | 5.2-5.3 | ||
D6.7 | Demonstration final report | T0+48 | D6.5 | R | Pu | TLS | 6.6 | ||
D6.8 | Final report on dissemination and training activities | T0+48 | D6.6 | R | Pu | UEDIN | 6.1-5 |