Project leader. He devised, designed, specified, and verified Lisex security model, and he also planned all the tools and procedures used in Lisex construction.

Martín Degrati (mdegrati@fceia.unr.edu.ar)

He was in the construction of a Coq parser which is the base of a tool for functional testing. He also documented dozens of test cases for Lisex 0.0.

Pablo Garralda (pgarralda@stevens)

Pablo worked jointly with Martín in developing a functional testing tool for Lisex.

Gisela Giusti (ggiusti@)

She modified the Linux kernel in order to add MLS controls what finally turned into Lisex 0.0. Also she wrote the Programmer's Reference Manual (now available in Spanish only).

Felipe Manzano (fmanzano@)

He modified the Linux kernel in order to add MLS controls what finally turned into Lisex 0.0. Also he wrote the Programmer's Reference Manual (now available in Spanish only).