991 search results - page 145 / 199 » Foundations for Designing Secure Architectures |
102
click to vote
DAC
2003
ACM
15 years 11 months ago
2003
ACM
We present an algorithm that checks behavioral consistency between an ANSI-C program and a circuit given in Verilog using Bounded Model Checking. Both the circuit and the program ...
MOBIDE
2009
ACM
15 years 4 months ago
2009
ACM
The explosive growth of location-detection devices, wireless communications, and mobile databases has resulted in the realization of location-based services as commercial products...
IEEEPACT
2006
IEEE
15 years 4 months ago
2006
IEEE
Modeling and analysis of program behavior are at the foundation of computer system design and optimization. As computer systems become more adaptive, their efficiency increasingly...
IDTRUST
2009
ACM
15 years 4 months ago
2009
ACM
Security in browsers is based upon users trusting a set of root Certificate Authorities (called Trust Anchors) which they may know little or nothing about. Browser vendors face a...
102
click to vote
WISEC
2009
ACM
2009
ACM
Practical defenses against pollution attacks in intra-flow network coding for wireless mesh networks
15 years 4 months ago
Recent studies show that network coding can provide significant benefits to network protocols, such as increased throughput, reduced network congestion, higher reliability, and ...