Travelled to:1 × China
Collaborated with:V.H.S.Campos F.M.Q.Pereira
Talks about:techniqu (1) overhead (1) overflow (1) program (1) against (1) secur (1) integ (1) fast (1) low (1)
Person: Raphael Ernani Rodrigues
DBLP: Rodrigues:Raphael_Ernani
Contributed to:
2013Wrote 1 papers:
- CGO-2013-RodriguesCP #integer #performance #source code
- A fast and low-overhead technique to secure programs against integer overflows (RER, VHSC, FMQP), p. 11.