Deliverables of the MOBIUS project:

Year 1 : Versions approved by the EU.

Nº	Description	Date	Nature	Diss	Resp	Workpackage	Download (pdf)
D1.1	Report on resource and information flow security requirements	March 06	R	Pu	UEDIN	WP 1
D6.1	Dissemination and Training Plan	March 06	R	Pu	INRIA	WP 6
D1.2	Report on framework-specific and application-specific security	Sept 06	R	Pu	RUN	WP 1
D2.1	Intermediate report on type systems	Sept 06	R	Pu	LMU	WP 2
D3.1	Report on byte code level specification language and program logic	Sept 06	R	Pu	WU	WP 3
D4.1	Scenarios and requirements for PCC	Sept 06	R	Pu	UPM	WP 4
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

Year 2: Versions approved by the EU.

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

Year 3: versions approved by the EU.

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

Month 37 to Month 48:

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

Management and activity reports are not public deliverables.

Note: R = Report, Pu = Public

If you are a Reviewer of the Project, please follow the link: For Review