Travelled to:
1 × France
1 × Germany
1 × Greece
Collaborated with:
T.P.Jensen D.Pichardie D.Cachera A.Jobin P.Cuoq N.Kosmatov V.Prevosto J.Signoles B.Yakobowski
Talks about:
secur (2) polynomi (1) perspect (1) softwar (1) program (1) gröbner (1) farewel (1) analysi (1) static (1) polici (1)
Person: Florent Kirchner
DBLP: Kirchner:Florent
Contributed to:
Wrote 3 papers:
- SAS-2012-CacheraJJK #imperative #invariant #polynomial #source code
- Inference of Polynomial Invariants for Imperative Programs: A Farewell to Gröbner Bases (DC, TPJ, AJ, FK), pp. 58–74.
- SEFM-2012-CuoqKKPSY #analysis #named #perspective
- Frama-C — A Software Analysis Perspective (PC, FK, NK, VP, JS, BY), pp. 233–247.
- ESOP-2011-JensenKP #policy
- Secure the Clones — Static Enforcement of Policies for Secure Object Copying (TPJ, FK, DP), pp. 317–337.