2702 search results - page 207 / 541 » Practically Applicable Formal Methods |
133
click to vote
CANS
2011
Springer
14 years 2 months ago
2011
Springer
Abstract. In this paper we analyze the recently proposed light-weight block cipher PRINTCipher. Applying algebraic methods and SAT-solving we are able to break 8 rounds of PRINTCip...
109
click to vote
FMICS
2008
Springer
15 years 3 months ago
2008
Springer
Different approaches have been developed to mitigate the state space explosion of model checking techniques. Among them, symbolic verification techniques use efficient representati...
114
click to vote
TSE
1998
15 years 1 months ago
1998
—It is well known that requirements engineering plays a critical role in software quality. The use case approach is a requirements elicitation technique commonly used in industri...
119
click to vote
IFL
2005
Springer
15 years 7 months ago
2005
Springer
With-loops are versatile array comprehensions used in the functional array language SaC to implement universally applicable array operations. We describe the fusion of with-loops a...
121
Voted
ESMART
2001
Springer
15 years 6 months ago
2001
Springer
This paper presents an operational semantics for a subset of Java Card bytecode, focussing on aspects of the Java Card firewall, method invocation, field access, variable access,...