1599 search results - page 142 / 320 » Program Analysis for Security and Privacy |
131
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
One of the key issues with the practical applicability of Proof-Carrying Code (PCC) and its related methods is the difficulty in communicating the proofs which are inherently larg...
165
Voted
SP
1999
IEEE
15 years 8 months ago
1999
IEEE
There is often the need to update an installed Intrusion Detection System (IDS) due to new attack methods or upgraded computing environments. Since many current IDSs are construct...
147
click to vote
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
Type classes were originally developed in Haskell as a disciplined alternative to ad-hoc polymorphism. Type classes have been shown to provide a type-safe solution to important ch...
149
click to vote
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
Atomic regions are an important concept in correct concurrent programming: since atomic regions can be viewed as having executed in a single step, atomicity greatly reduces the nu...
116
click to vote
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
In this paper we provide an experience report where language oriented programming approaches are applied to complex game design. Ficticious is a G-expression based pidgin of sever...