Secure diffuse computing

Teachers: Berry / Serrano / Boudol / Rezk / Castellani

Team involved: Indes (INRIA)

Diffuse computing deals with distributed applications in highly heterogeneous networks. Current web applications may span multiple devices such as classical computers, TV sets, mobile phones, smart sensors, each of which has its own language and communication protocol. The heterogeneity of technologies used to build diffuse applications is currently visible at the conception and programming level, and increases their vulnerability to security attacks. Implementing today diffuse applications requires engineers to use a vast set of hardly compatible technologies, tools and languages. The HOP language developed by the INDES team is a proposal to develop applications within a unique formalism. The goal of this course is to introduce execution environments and tools that embrace the development of diffuse applications inside a global and coherent approach. The domain of this approach ranges from models of parallelism and security, to compilation and implementation of languages for diffuse computing.

Resources

• HOP
  • Hop, a Language for Programming the Web 2.0
  • Hop, a Fast Server for the Diffuse Web. Measurements (?) on HOP.
  • JavaScript Instrumentation for Browser Security.
  • Slides about HOP PDF version PDF version ready to print
  • Hop exercises
• Tamara's classes slides
  • Part I [ PDF version ]
  • Part II [ PDF version ]
  • HOP examples (note that the file extension is wrong, it's actually an uncompressed tarball). [ examples.pdf PDF version ]
• Class on semantics:
  • Slides about semantics
  • Paper about semantics
  • Wkipedia article on continuations
  • Wkipedia article on continuation-passing style
• Ilaria's slides on typing:
  • Part I
  • Part II, revised version
  • Part III
  • Language-Based Information-Flow Security (Survey)

Exam

December, 17th, 9h.
All documents authorized and may be the computer.

Schedule and notes

Wednesdays from 9h to 12h.

Taken from http://edt.essi.fr/etudiant, it might change!.

14/10/2009	mer. 09h00	211 Templiers
16/10/2009	ven. 14h00	310 Templiers
21/10/2009	mer. 09h00	211 Templiers
28/10/2009	mer. 09h00	211 Templiers
04/11/2009	mer. 09h00	211 Templiers
18/11/2009	mer. 09h00	301 Templiers
25/11/2009	mer. 09h00	211 Templiers
17/12/2009	jeu. 09h00	Amphi Est Exam