Travelled to:1 × China
Collaborated with:F.M.Q.Pereira R.E.Rodrigues P.R.O.Alves H.N.Santos
Talks about:restrictif (1) techniqu (1) overhead (1) overflow (1) function (1) argument (1) program (1) against (1) secur (1) integ (1)
Person: Victor Hugo Sperle Campos
DBLP: Campos:Victor_Hugo_Sperle
Contributed to:
2013
2016Wrote 2 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.
- CC-2016-CamposASP #strict
- Restrictification of function arguments (VHSC, PROA, HNS, FMQP), pp. 163–173.