2687 search results - page 115 / 538 » Formal Analysis of PKCS |
111
click to vote
FM
2009
Springer
15 years 10 months ago
2009
Springer
Shared and mutable data-structures pose major problems in static analysis and most analyzers are unable to keep track of the values of numeric variables stored in the heap. In this...
139
click to vote
ISOLA
2010
Springer
15 years 2 months ago
2010
Springer
During the design iterations of embedded systems, the schedulability analysis is an important method to verify whether the real-time constraints are satisfied. In order to achieve...
146
click to vote
ICCAD
2002
IEEE
16 years 26 days ago
2002
IEEE
In this paper we present an advanced functional extraction tool for automatic generation of high-level RTL from switch-level circuit netlist representation. The tool is called FEV...
154
click to vote
POPL
2012
ACM
13 years 11 months ago
2012
ACM
There has been great interest in creating probabilistic programming languages to simplify the coding of statistical tasks; however, there still does not exist a formal language th...
165
Voted
CSFW
2012
IEEE
13 years 6 months ago
2012
IEEE
—Role-based Access Control (RBAC) is one of the most widespread security mechanisms in use today. Given the growing complexity of policy languages and access control systems, ver...