A static analyzer for finding dynamic programming errors
Bush, William R., Pincus, Jonathan D., Sielaff, David J.
Published in Software, practice & experience (01.06.2000)
Published in Software, practice & experience (01.06.2000)
Get full text
Journal Article
A Mechanism for Secure, Fine-Grained Dynamic Provisioning of Applications on Small Devices
Bush, William R., Ng, Antony, Simon, Doug, Mathiske, Bernd
Published in Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (2005)
Published in Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (2005)
Get full text
Book Chapter
Conference Proceeding