Travelled to:1 × USA
1 × United Kingdom
Collaborated with:M.Pistoia S.J.Fink E.Yahav L.Koved V.C.Sreedhar
Talks about:interprocedur (1) placement (1) enterpris (1) privileg (1) variabl (1) analysi (1) static (1) polici (1) detect (1) valid (1)
Person: Robert J. Flynn
DBLP: Flynn:Robert_J=
Contributed to:
2007
2005Wrote 2 papers:
- ICSE-2007-PistoiaFFY #enterprise #modelling #policy #security #validation
- When Role Models Have Flaws: Static Validation of Enterprise Security Policies (MP, SJF, RJF, EY), pp. 478–488.
- ECOOP-2005-PistoiaFKS #analysis #detection #interprocedural
- Interprocedural Analysis for Privileged Code Placement and Tainted Variable Detection (MP, RJF, LK, VCS), pp. 362–386.