4340 search results - page 146 / 868 » Formal Methods and Cryptography |
116
click to vote
ICECCS
2007
IEEE
15 years 10 months ago
2007
IEEE
In this extended abstract we summarize our consulting work, scientiļ¬c research, and activism in the topic of electronic (computer-based) voting. The Dutch and Irish governmentā...
105
click to vote
DSD
2002
IEEE
15 years 9 months ago
2002
IEEE
We use a formal tool to extract Finite State Machines (FSM) based representations (lists of states and transitions) of sequential circuits described by ļ¬ip-ļ¬ops and gates. The...
137
Voted
CAISE
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. The security of civil aviation is regulated by a series of international standards and recommended practices. The EDEMOI project aims at investigating different technique...
141
click to vote
CHARME
2001
Springer
15 years 7 months ago
2001
Springer
The framework of this paper is the formal specification and proof of applications distributed on symmetric interconnection networks, e.g. the torus or the hypercube. The algorithms...
122
click to vote
ICFEM
2000
Springer
15 years 7 months ago
2000
Springer
A family of well known problems on graphs includingthe shortest path problem and the data flow analysis problem can be uniformly formulated as a fixed-point problem on graphs. We ...