SEFL Team @ Purdue University

Home
Team
Vacancies
Publications
Research
(Pics)

Publications

(POSTER) Automated conversion of legacy code to Checked C.
Aravind Machiry, H. Touma, R. Chen, M. Hicks.
SecDev 2019- IEEE Secure Development Conference.

© 2020 SEFA Team. Site inspired from Allen Labs; copy and modify it for your own research group.

We are part of the Electrical and Computer Engineering Department at Purdue University.

Funding:

Contact:
EE 333
School of Electrical and Computer Engineering
465 Northwestern Ave.
West Lafayette, IN, USA
(Maps, Directions)