Skip to main content
Horizontal Menu
Research
Areas
Projects
Publications
NSA Center of Academic Excellence
Education
Prospective Students
Internship Program
Team
Sponsors
Contact
Opportunities
Login
Submit
Hamburger Menu
Home
ISIS Calendar
Research
Research Projects
Research Areas
Publications
Education
Internship Program
Prospective Students
Team
Sponsors
Contact
Opportunities
Breadcrumb
Home
/
Dan McDermet
First name
Dan
Last name
McDermet
Balasubramanian, D., Zhang, Z., McDermet, D., & Karsai, G
.
(2019)
.
Dynamic Symbolic Execution for the Analysis of Web Server Applications in Java
.
In
34th ACM/SIGAPP Symposium on Applied Computing
(pp.
2178–2185
)
.
New York, NY, USA:
Association for Computing Machinery
. http://doi.org/10.1145/3297280.3297494 (
Original work published
April 2019)
View
Balasubramanian, D., Zhang, Z., McDermet, D., & Karsai, G
.
(2017)
.
Janalyzer: A Static Analysis Tool for Java Bytecode
.
Nashville
:
Institute for Software Integrated Systems
. (
Original work published
August 2017)
View
Dubey, A., Emfinger, W., Gokhale, A., Kumar, P., McDermet, D., Bapty, T., & Karsai, G
.
(2019)
.
Enabling Strong Isolation for Distributed Real-time Applications in Edge Computing Scenarios
.
Ieee Aerospace And Electronic Systems Magazine
. (
Original work published
2019)
View