MECA: an Extensible, Expressive System and Language for Statically Checking Security Properties (2003)
Cached
Download Links
- [www.cs.columbia.edu]
- [www.cs.columbia.edu]
- [metacomp.stanford.edu]
- [www.cs.stanford.edu]
- [www.stanford.edu]
- DBLP
Other Repositories/Bibliography
by
Junfeng Yang
,
Ted Kremenek
,
Yichen Xie
,
Dawson Engler
| Venue: | IN PROCEEDINGS OF THE 10TH ACM CONFERENCE ON COMPUTER AND COMMUNICATION SECURITY |
| Citations: | 27 - 5 self |
BibTeX
@INPROCEEDINGS{Yang03meca:an,
author = {Junfeng Yang and Ted Kremenek and Yichen Xie and Dawson Engler},
title = {MECA: an Extensible, Expressive System and Language for Statically Checking Security Properties},
booktitle = {IN PROCEEDINGS OF THE 10TH ACM CONFERENCE ON COMPUTER AND COMMUNICATION SECURITY},
year = {2003},
pages = {321--334},
publisher = {ACM Press}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Citations
| 347 | Enforcing high-level protocols in low-level software - DeLine, Fähndrich - 2001 |
| 139 | Using programmer-written compiler extensions to catch security holes - Ashcraft, Engler - 2002 |
| 67 | ITS4: A static vulnerability scanner for C and C++ code - Viega, Bloch, et al. - 2000 |
| 1 | Cleanness checkingof string manipulations in C programs via integer analysis - Dor, Rodeh, et al. - 2001 |
