System and method for integrated header, state, rate and content anomaly prevention with policy enforcement
HK Jain - US Patent 7,602,731, 2009 - Google Patents
The present invention provides an integrated prevention of header, state, rate and content
anomalies along with network policy enforcement. A hardware based apparatus classifies …
anomalies along with network policy enforcement. A hardware based apparatus classifies …
The last mile: An empirical study of timing channels on seL4
Storage channels can be provably eliminated in well-designed, high-assurance kernels.
Timing channels remain the last mile for confidentiality and are still beyond the reach of …
Timing channels remain the last mile for confidentiality and are still beyond the reach of …
Can We Put the “S” Into IoT?
Security of IoT systems is often weak or absent, resulting in systems being compromised. We
present the seL4 Core Platform, an operating-system framework that leverages the formally …
present the seL4 Core Platform, an operating-system framework that leverages the formally …
Scalable inline behavioral DDOS attack mitigation
HK Jain - US Patent 9,172,721, 2015 - Google Patents
5.919. 257 A 7, 1999 Holly a mine packet rate thresholds through continuous and adaptive
5,931,946 A 8, 1999 Terada et al. learning with multiple DDoS attack mitigation components …
5,931,946 A 8, 1999 Terada et al. learning with multiple DDoS attack mitigation components …
Pancake: verified systems programming made sweeter
JÅ Pohjola, HT Syeda, M Tanaka, K Winter… - Proceedings of the 12th …, 2023 - dl.acm.org
We introduce Pancake, a new language for verifiable, low-level systems programming,
especially device drivers. Pancake eschews complex type systems to make the language …
especially device drivers. Pancake eschews complex type systems to make the language …
Fibre channel arbitrated loop bufferless switch circuitry to increase bandwidth without significant increase in cost
AD Black, K Chan - US Patent 8,767,756, 2014 - Google Patents
Related US Application Data A Switch, Switched architecture and process for transferring
(60) Continuation of application No. 10/348,687, filed on data through an FCAL switch is …
(60) Continuation of application No. 10/348,687, filed on data through an FCAL switch is …
[PDF][PDF] Connecting wireless sensor networks to the internet-a 6lowpan implementation for tinyos 2.0
M Harvan - Jacobs University Bremen, Germany, 2007 - researchgate.net
A 6lowpan implementation for the TinyOS 2.0 embedded operating system has been
developed. It supports the 6lowpan adaptation layer with handling of the Fragmentation …
developed. It supports the 6lowpan adaptation layer with handling of the Fragmentation …
System and method for network interfacing
U Elzur, F Fan, SB Lindsay, SS McDaniel - US Patent 7,934,021, 2011 - Google Patents
Related US Application Data Division of application No. 10/652,330, filed on Aug. 29, 2003,
and a division of application No. 10/652,327, filed on Aug. 29, 2003, and a division of …
and a division of application No. 10/652,327, filed on Aug. 29, 2003, and a division of …
System and method for handling out-of-order frames
U Elzur - US Patent 7,912,064, 2011 - Google Patents
Continuation of application No. 10/651.459, filed on (57) Aug. 29, 2003, now Pat. No.
7,411,959. A system for handling out-of-order frames may include one (60) Provisional …
7,411,959. A system for handling out-of-order frames may include one (60) Provisional …
System and method for TCP offload
U Elzur, F Fan, SB Lindsay, SS McDaniel - US Patent 7,849,208, 2010 - Google Patents
4,395,774 4.433, 378 4,445,051 4,449.248 4,463,424 4,519,068 4,545,023 4,590,550
4,599,526 4,649,293 4,680,787 4,717,838 4,721,866 4,727,309 4,737,975 4,760,571 …
4,599,526 4,649,293 4,680,787 4,717,838 4,721,866 4,727,309 4,737,975 4,760,571 …