Travelled to:
1 × Germany
Collaborated with:
C.Fournet
Talks about:
inform (1) comput (1) compil (1) trust (1) secur (1) minim (1) flow (1) base (1)
Person: Jérémy Planul
DBLP: Planul:J=eacute=r=eacute=my
Contributed to:
Wrote 1 papers:
- ESOP-2011-FournetP #compilation #data flow #security
- Compiling Information-Flow Security to Minimal Trusted Computing Bases (CF, JP), pp. 216–235.