Data flow refinement type inference
Pavlinovic, Zvonimir, Su, Yusen, Wies, Thomas
Published in Proceedings of ACM on programming languages (04.01.2021)
Published in Proceedings of ACM on programming languages (04.01.2021)
Get full text
Journal Article
Inferring annotations for device drivers from verification histories
Pavlinovic, Zvonimir, Lal, Akash, Sharma, Rahul
Published in 2016 31st IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.09.2016)
Published in 2016 31st IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.09.2016)
Get full text
Conference Proceeding
The VACCINE Framework for Building DLP Systems
Shvartzshnaider, Yan, Pavlinovic, Zvonimir, Wies, Thomas, Subramanian, Lakshminarayanan, Mittal, Prateek, Nissenbaum, Helen
Year of Publication 07.11.2017
Year of Publication 07.11.2017
Get full text
Journal Article
Secure surrogate cloud browsing
Pavlinovic, Zvonimir, Fischer, Ian, Song, Xiaodong Dawn, Martignoni, Lorenzo, Altekar, Gautam
Year of Publication 11.05.2021
Get full text
Year of Publication 11.05.2021
Patent
Secure surrogate cloud browsing
FISCHER IAN, MARTIGNONI LORENZO, SONG XIAODONG DAWN, ALTEKAR GAUTAM, PAVLINOVIC ZVONIMIR
Year of Publication 12.07.2016
Get full text
Year of Publication 12.07.2016
Patent