Travelled to:
1 × Brazil
1 × USA
Collaborated with:
C.D.Lo Y.Tai D.Niedzielski J.v.Ronne A.Gampe
Talks about:
constraint (1) implement (1) support (1) regular (1) network (1) hardwar (1) express (1) control (1) verifi (1) intrus (1)
Person: Kleanthis Psarris
DBLP: Psarris:Kleanthis
Contributed to:
Wrote 2 papers:
- SAS-2009-NiedzielskiRGP #bound #constraints #control flow
- A Verifiable, Control Flow Aware Constraint Analyzer for Bounds Check Elimination (DN, JvR, AG, KP), pp. 137–153.
- SAC-2008-LoTP #detection #hardware #implementation #network #regular expression
- Hardware implementation for network intrusion detection rules with regular expression support (CTDL, YGT, KP), pp. 1535–1539.