Verifying access-control policies with arithmetic quantifier-free form constraints
US9787374B1
Systems and methods for high-rate RF communications employing spatial multiplexing in line of sight environments
US2016323313A1
Moving-target defense with configuration-space randomization
US2014209798A1
Devices and methods for multimode light detection
WO2014116964A1
Method and system for visualizing and analyzing a field area network
US2014099104A1
Method to mitigate propagation loss in waveguide transmission of quantum states
US2014082730A1
System and method for correlating historical attacks with diverse indicators to generate indicator profiles for detecting and predicting future network attacks
US2013340079A1
System and method for real-time reporting of anomalous internet protocol attacks
US2013246791A1
Privacy-preserving publish-subscribe protocol in a cloud-assisted broadcast model
US2013218817A1
Active acquisition of privileged information
US2013218549A1
Dynamic time virtualization for scalable and high fidelity hybrid network emulation