Junfeng Yang, Ted Kremenek, Yichen Xie, and Dawson Engler. MECA: an extensible, expressive system and language for statically checking security properties. In Proceedings of the 10th ACM conference on Computer and communication security, pages 321--334. ACM Press, 2003. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Finding User/Kernel Pointer Bugs With Type Inference - Rob Johnson David (2004) (2 citations) (Correct)
No context found.
Junfeng Yang, Ted Kremenek, Yichen Xie, and Dawson Engler. MECA: an extensible, expressive system and language for statically checking security properties. In Proceedings of the 10th ACM conference on Computer and communication security, pages 321--334. ACM Press, 2003.
Rob Johnson David Wagner - Report No Ucb (Correct)
No context found.
Junfeng Yang, Ted Kremenek, Yichen Xie, and Dawson Engler. Meca: an extensible, expressive system and language for statically checking security properties. In Proceedings of the 10th ACM conference on Computer and communication security, pages 321--334. ACM Press, 2003.
Using Execution Transactions To Recover From Buffer.. - Stelios Sidiroglou.. (2004) (1 citation) (Correct)
No context found.
J. Yang, T. Kremenek, Y. Xie, and D. Engler. MECA: an Extensible, Expressive System and Language for Statically Checking Security Properties. In Proceedings of the 10th ACM Conference on Computer and Communications Security (CCS), pages 321--334, October 2003.
Finding User/Kernel Pointer Bugs With Type Inference - Rob Johnson David (2004) (2 citations) (Correct)
No context found.
Junfeng Yang, Ted Kremenek, Yichen Xie, and Dawson Engler. MECA: an extensible, expressive system and language for statically checking security properties. In Proceedings of the 10th ACM conference on Computer and communication security, pages 321--334. ACM Press, 2003.
Finding User/Kernel Pointer Bugs With Type Inference - Rob Johnson David (2004) (2 citations) (Correct)
No context found.
Junfeng Yang, Ted Kremenek, Yichen Xie, and Dawson Engler. MECA: an extensible, expressive system and language for statically checking security properties. In Proceedings of the 10th ACM conference on Computer and communication security, pages 321--334. ACM Press, 2003.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC