Concepedia
Statistics
Publications
1
Citations
144
H-Index
Active since
1996
IrvineCynthia is an author specializing in formal methods, sensitivity, and flow sensitivity.
Publications per year
1996–1996
A sound type system for secure flow analysis
VolpanoDennis, IrvineCynthia, SmithGeoffrey · Journal of Computer Security · 1996 · 144 citations
Computing, Computer Engineering, Computer Science +11
1–1 of 1