624 search results - page 34 / 125 » Application of Lightweight Formal Methods to Software Securi... |
138
Voted
SAFECOMP
2010
Springer
15 years 2 months ago
2010
Springer
Formal verification efforts in the area of robotics are still comparatively scarce. In this paper we report on our experiences with one such effort, which was concerned with design...
SIGSOFT
2003
ACM
16 years 5 months ago
2003
ACM
d Abstract) Eunyoung Lee Andrew W. Appel Department of Computer Science Princeton University {elee,appel}@cs.princeton.edu Categories and Subject Descriptors D.2.4 [Software Engine...
146
click to vote
ISICT
2003
15 years 5 months ago
2003
: Formal verification provides a rigid and thorough means of evaluating the correctness of cryptographic protocols so that even subtle defects can be identified. As the application...
129
click to vote
SAFECOMP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...
137
click to vote
CASES
2005
ACM
15 years 6 months ago
2005
ACM
This paper presents a methodology for monitoring security in Application Specific Instruction-set Processors (ASIPs). This is a generalized methodology for inline monitoring insec...