Travelled to:
1 × USA
Collaborated with:
∅
Talks about:
softwar (1) program (1) analysi (1) static (1) domain (1) verif (1) secur (1) model (1)
Person: Alan B. Shaffer
DBLP: Shaffer:Alan_B=
Contributed to:
Wrote 1 papers:
- SEKE-2008-Shaffer #domain model #security #source code #static analysis #verification
- A Security Domain Model for Static Analysis and Verification of Software Programs (ABS), pp. 673–678.