Adam Foltzer
According to our database1,
Adam Foltzer
authored at least 6 papers
between 2012 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
2012
2013
2014
2015
2016
2017
2018
0
1
2
3
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2018
2016
5Gen: A Framework for Prototyping Applications Using Multilinear Maps and Matrix Branching Programs.
IACR Cryptol. ePrint Arch., 2016
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2016
2014
Proceedings of the 4th Program Protection and Reverse Engineering Workshop, 2014
2013
Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, 2013
2012
A meta-scheduler for the par-monad: composable scheduling for the heterogeneous cloud.
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012