Skip to topic | Skip to bottom
... Mobius IST-15905


Start of topic | Skip to actions

Deliverables of the MOBIUS project:

Year 1

Description Date Resp Download (pdf)
D1.1 Report on resource and information flow security requirements March 06 UEDIN PDF
D1.2 Report on framework-specific and application-specific security Sept 06 RUN PDF
D2.1 Intermediate report on type systems Sept 06 LMU PDF
D3.1 Report on byte code level specification language and program logic Sept 06 WU PDF
D4.1 Scenarios and requirements for PCC Sept 06 UPM PDF

Year 2

Description DateCreation Rev. Resp Download (pdf)
D2.2 Intermediate report on implementation of type systems March 07 x   TL PDF
D3.2 Intermediate report on embedding type-based analyses into program logics March 07 x   CTH PDF
D3.3 Preliminary report on thread-modular verification March 07 x   INRIA PDF
D5.1 Report on selection of case studies and requirements March 07 x   FT PDF
D2.3 Report on type sytems Sept 07   D2.1 RWTH PDF
D3.4 Report on logic for resources and information flow Sept 07 x   UEDIN PDF
D4.2 Report on certificate format and certificate generation Sept 07 x   LMU PDF
D4.3 Preliminary report on proof transforming compiler Sept 07 x   ETH PDF

Year 3

Description DateCreation Rev. Resp Download (pdf)
D2.4 Report on type system prototypes March 08   D2.2 TL PDF
D3.5 Preliminary report on program verification environment and annotation generation March 08 x   UCD PDF
D2.5 Report on safe information release Sept 08 x   CTH PDF
D2.6 Preliminary report on advanced resource policies Sept 08 x   UEDIN PDF
D3.6 Preliminary report on modular verification Sept 08 x   ETH PDF
D4.4 Report on certificate format and certificate generation Sept 08   D4.2 INRIA PDF
D4.5 Report on proof-transformation for optimizing compilers Sept 08 x   IOC PDF

Year 4

Description DateCreation Rev. Resp Download (pdf)
D3.7 Report on multi-threading Mar 09   D3.3 INRIA PDF
D3.8 Report on embedding type-based analyses into program logics Mar 09   D3.2 CTH PDF
D2.7 Report on advanced resource policies Sept 09   D2.6 UEDIN PDF
D3.9 Report on modular verification Sept 09   D3.6 ETH PDF
D3.10 Report on program verification environment and annotation generation Sept 09   D3.5 RUN PDF
D4.6 Report on proof transforming compiler Sept 09 x   IOC PDF
D4.7 Report on on-device checking Sept 09 x   INRIA PDF
D5.2 Evaluation on case studies Sept 09 x   FT PDF

Management and activity reports are not public deliverables.

Note: R = Report, Pu = Public