Travelled to:
1 × USA
Collaborated with:
∅ M.Wand
Talks about:
out (2) constraint (1) transform (1) algorithm (1) variabl (1) useless (1) system (1) elimin (1) time (1) leak (1)
Person: Igor Siveroni
DBLP: Siveroni:Igor
Facilitated 1 volumes:
Contributed to:
Wrote 2 papers:
- QAPL-2005-Siveroni06 #algorithm
- Filling Out the Gaps: A Padding Algorithm for Transforming Out Timing Leaks (IS), pp. 241–257.
- POPL-1999-WandS #constraints
- Constraint Systems for Useless Variable Elimination (MW, IS), pp. 291–302.