11603 search results - page 41 / 2321 » Securing Embedded Systems |
CODES
2003
IEEE
14 years 2 months ago
2003
IEEE
Boolean logic minimization is traditionally used in logic synthesis tools running on powerful desktop computers. However, logic minimization has recently been proposed for dynamic...
IPPS
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper presents and evaluates a strategy for integrating the Snort network intrusion detection system into a high-performance programmable Ethernet network interface card (NIC...
DSN
2004
IEEE
14 years 14 days ago
2004
IEEE
This paper explores hardware-implemented error-detection and security mechanisms embedded as modules in a hardware-level framework called the Reliability and Security Engine (RSE)...
OOPSLA
2004
Springer
14 years 2 months ago
2004
Springer
CSFW
2010
IEEE
14 years 19 days ago
2010
IEEE
—We propose a formal model of web security based straction of the web platform and use this model to analyze the security of several sample web mechanisms and applications. We id...