-
1
المؤلفون: Adam Foltzer, Ihor Kuz, Michal Podhradsky, Darren Cofer, June Andronick, Gernot Heiser, Douglas Alan Stuart, Lee Pike, Gerwin Klein, Andrew Gacek, Michael W. Whalen, John Backes
المصدر: Computer. 51:14-23
مصطلحات موضوعية: General Computer Science, Computer science, business.industry, Vulnerability, 020206 networking & telecommunications, 020207 software engineering, 02 engineering and technology, Software maintenance, Formal methods, Software, Software security assurance, 0202 electrical engineering, electronic engineering, information engineering, Software engineering, business, Formal verification, Vulnerability (computing)
-
2
المؤلفون: Daniel Wagner, Dan Boneh, David W. Archer, Daniel Apon, Kevin Lewi, Mariana Raykova, Adam Foltzer, Brent Carmer, Alex J. Malozemoff, Jonathan Katz
المصدر: ACM Conference on Computer and Communications Security
مصطلحات موضوعية: Multilinear map, Theoretical computer science, mmap, Computer science, business.industry, Cryptography, 0102 computer and information sciences, 02 engineering and technology, computer.software_genre, 01 natural sciences, Obfuscation (software), 010201 computation theory & mathematics, Obfuscation, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Compiler, business, computer, Functional encryption
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::3d6fa9995d0933f961bcbfef7b131aba
https://doi.org/10.1145/2976749.2978314 -
3
المؤلفون: Rebecca Swords, Eric Jiang, Ryan R. Newton, Sajith Sasidharan, Adam Foltzer, Abhishek Kulkarni
المصدر: ICFP
مصطلحات موضوعية: business.industry, Computer science, Distributed computing, Cloud computing, Parallel computing, Load balancing (computing), Computer Graphics and Computer-Aided Design, Fair-share scheduling, Scheduling (computing), Continuation, Work stealing, Composability, Haskell, business, computer, Software, computer.programming_language
-
4
المؤلفون: Dylan McNamee, Brian Huffman, Adam Foltzer, Aaron Tomb, Robert Dockins, Joe Hendrix
المصدر: Lecture Notes in Computer Science ISBN: 9783319488684
VSTTEمصطلحات موضوعية: Structure (mathematical logic), Programming language, Computer science, Formal equivalence checking, 020207 software engineering, 02 engineering and technology, computer.software_genre, Symbolic execution, Semantic computing, 0202 electrical engineering, electronic engineering, information engineering, Semantic technology, Workbench, 020201 artificial intelligence & image processing, Software analysis pattern, computer, Implementation
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::37bc125b5ee9c60801e91d1ddac2dd95
https://doi.org/10.1007/978-3-319-48869-1_5 -
5
المؤلفون: Ledah Casburn, Trevor Elliott, E. Rogan Creswick, Tristan Ravitch, Aaron Tomb, Adam Foltzer
المصدر: PPREW@ACSAC
مصطلحات موضوعية: Security analysis, Java, Computer science, Suite, Distributed computing, Static analysis, Computer security, computer.software_genre, Robustness (computer science), Android (operating system), Programmer, Heuristics, computer, computer.programming_language
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::c3063ff523a896bfefe9945088fb9d78
https://doi.org/10.1145/2689702.2689705