3792 search results - page 653 / 759 » Techniques for Trusted Software Engineering |
147
click to vote
CODES
2005
IEEE
15 years 11 months ago
2005
IEEE
Design of programmable processors and embedded applications requires instruction-set simulators for early exploration and validation of candidate architectures. Interpretive simul...
168
click to vote
RECONFIG
2009
IEEE
16 years 8 days ago
2009
IEEE
Abstract. Protecting an implementation against Side Channel Analysis for Reverse Engineering (SCARE) attacks is a great challenge and we address this challenge by presenting a fir...
160
click to vote
ISORC
2008
IEEE
15 years 12 months ago
2008
IEEE
The performance of autonomous vehicles could be drastically improved if ad-hoc networking and suitable real-time coordination is employed to optimize and improve the joint behavio...
168
click to vote
FSTTCS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. The abstraction of cryptographic operations by term algebras, called DolevYao models or symbolic cryptography, is essential in almost all tool-supported methods for provi...
147
click to vote
IDEAL
2005
Springer
15 years 11 months ago
2005
Springer
The design, development, and use of complex systems models raises a unique class of challenges and potential pitfalls, many of which are commonly recurring problems. Over time, res...