1027 search results - page 66 / 206 » Callgraph properties of executables |
113
Voted
CCS
2008
ACM
15 years 2 months ago
2008
ACM
This paper presents the first type system for statically analyzing security protocols that are based on zero-knowledge proofs. We show how several properties offered by zero-knowl...
119
click to vote
ENTCS
2008
15 years 25 days ago
2008
We report in this paper on the formal verification of a simple compiler for the C-like programming language C0. The compiler correctness proof meets the special requirements of pe...
102
click to vote
ENTCS
2006
15 years 23 days ago
2006
Industry standards for Web Service composition, such as WSBPEL, provide the notation and additional control mechanisms for the execution of business processes in Web Service colla...
103
Voted
OOPSLA
2010
Springer
14 years 11 months ago
2010
Springer
We introduce a type system based on intervals, objects representing the time in which a block of code will execute. The type system can verify time-based properties such as when a...
124
click to vote
IFM
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. The Operational Transformation (OT) approach, used in many collaborative editors, allows a group of users to concurrently update replicas of a shared object and exchange ...