Rahul Simha

Gabriel Parmer

Proceedings of the 9th European Workshop on System Security, 2016

Designing a Literacy-Based Mobile Application for Adult Learners.

[BibT_eX]

[DOI]

Jennifer Hill

Proceedings of the 2016 CHI Conference on Human Factors in Computing Systems, 2016

Automatic Generation of Context-Based Fill-in-the-Blank Exercises Using Co-occurrence Likelihoods and Google n-grams.

[BibT_eX]

[DOI]

Jennifer Hill

Proceedings of the 11th Workshop on Innovative Use of NLP for Building Educational Applications, 2016

2015

FPGA SoC architecture and runtime to prevent hardware Trojans from leaking secrets.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Hardware Oriented Security and Trust, 2015

2014

Hardware-enhanced distributed access enforcement for role-based access control.

[BibT_eX]

[DOI]

Proceedings of the 19th ACM Symposium on Access Control Models and Technologies, 2014

2013

PyLOM: a language and run-time system for planning applications.

[BibT_eX]

[DOI]

Scotty Smith

Proceedings of the SPLASH'13, 2013

Hardware and software support for fine-grained memory access control and encapsulation in C++.

[BibT_eX]

[DOI]

Eugen Leontie

Proceedings of the SPLASH'13, 2013

2012

Load Equalization on a Two-Armed Robot via Proprioceptive Sensing.

[BibT_eX]

[DOI]

Proceedings of the Experimental Robotics, 2012

Shared hardware data structures for hard real-time systems.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Embedded Software, 2012

No Principal Too Small: Memory Access Control for Fine-Grained Protection Domains.

[BibT_eX]

[DOI]

Proceedings of the 15th Euromicro Conference on Digital System Design, 2012

2011

Automation for Creating and Configuring Security Manifests for Hardware Containers.

[BibT_eX]

[DOI]

Eugen Leontie

Proceedings of the 4th Symposium on Configuration Analytics and Automation, SafeConfig 2011, Arlington, VA, USA, October 31, 2011

2010

Detecting memory spoofing in secure embedded systems using cache-aware FPGA guards.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Information Assurance and Security, 2010

2009

Providing secure execution environments with a last line of defense against Trojan circuit attacks.

[BibT_eX]

[DOI]

Comput. Secur., 2009

A compiler-hardware approach to software protection for embedded systems.

[BibT_eX]

[DOI]

Comput. Electr. Eng., 2009

OS Support for Detecting Trojan Circuit Attacks.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Workshop on Hardware-Oriented Security and Trust, 2009

Hardware Containers for Software Components: A Trusted Platform for COTS-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Conference on Computational Science and Engineering, 2009

Hardware-enforced fine-grained isolation of untrusted code.

[BibT_eX]

[DOI]

Proceedings of the First ACM Workshop on Secure Execution of Untrusted Code, 2009

2008

Application-Kernel Collaboration Mechanisms for Real-Time Cluster Server under Overloading.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE International Conference on High Performance Computing and Communications, 2008

Architectural support for securing application data in embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 2008 IEEE International Conference on Electro/Information Technology, 2008

2007

Pathway Switching Explains the Sharp Response Characteristic of Hypoxia Response Network.

[BibT_eX]

[DOI]

PLoS Comput. Biol., 2007

Privacy-preserving programming using sython.

[BibT_eX]

[DOI]

Michael Gaiman

Comput. Secur., 2007

Compiler-Directed Region-Based Security for Low-Overhead Software Protection.

[BibT_eX]

[DOI]

Proceedings of the Third IEEE International Symposium on Dependable, 2007

2006

High-Performance Software Protection Using Reconfigurable Architectures.

[BibT_eX]

[DOI]

Proc. IEEE, 2006

SPEE: A Secure Program Execution Environment tool using code integrity checking.

[BibT_eX]

[DOI]

Olga Gelbart

J. High Speed Networks, 2006

Geometric Chemotaxis: A Biologically-Inspired Framework for a Class of Wireless Coverage Problems.

[BibT_eX]

Hidayet Ozgur Sanli

Ad Hoc Sens. Wirel. Networks, 2006

Insurable Storage Services: Creating a Marketplace for Long-Term Document Archival.

[BibT_eX]

[DOI]

K. Gopinath

Proceedings of the Computational Science, 2006

A performance ratings framework for the evaluation of electronic voting systems: project highlights: exploratory research.

[BibT_eX]

[DOI]

Poorvi L. Vora

Jonathan Stanton

Proceedings of the 7th Annual International Conference on Digital Government Research, 2006

2005

SAFE-OPS: An approach to embedded software security.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2005

Performance Study of a Compiler/Hardware Approach to Embedded Systems Security.

[BibT_eX]

[DOI]

Proceedings of the Intelligence and Security Informatics, 2005

CODESSEAL: Compiler/FPGA Approach to Secure Applications.

[BibT_eX]

[DOI]

Proceedings of the Intelligence and Security Informatics, 2005

A Joint Design Approach for Communication Schedule and Layout of Wireless Sensor Networks.

[BibT_eX]

Hidayet Ozgur Sanli

Proceedings of the 2005 International Conference on Wireless Networks, 2005

2004

HomeOS: Context-Aware Home Connectivity.

[BibT_eX]

Proceedings of the International Conference on Wireless Networks, 2004

Addressing application integrity attacks using a reconfigurable architecture.

[BibT_eX]

[DOI]

Joseph Zambreno

Alok N. Choudhary

Proceedings of the ACM/SIGDA 12th International Symposium on Field Programmable Gate Arrays, 2004

Flexible Software Protection Using Hardware/Software Codesign Techniques.

[BibT_eX]

[DOI]

Proceedings of the 2004 Design, 2004

2003

Strong Minimum Energy Topology in Wireless Sensor Networks: NP-Completeness and Heuristics.

[BibT_eX]

[DOI]

IEEE Trans. Mob. Comput., 2003

Audio Data Indexing Using Discrete Cosine Transform.

[BibT_eX]

Int. J. Comput. Their Appl., 2003

Energy balance in wireless networks using connection segmentation and range control.

[BibT_eX]

[DOI]

Nitin Kumar Singh

Proceedings of the 2003 IEEE Wireless Communications and Networking, 2003

2002

An efficient algorithm for reducing the number of Add-Drop Multiplexers in SONET/WDM rings.

[BibT_eX]

[DOI]

Guangzhi Li

J. High Speed Networks, 2002

Algorithms for budget-constrained survivable topology design.

[BibT_eX]

[DOI]

Nikhil Garg

Wenxun Xing

Proceedings of the IEEE International Conference on Communications, 2002

2001

Simulated N-Body: New Particle Physics-Based Heuristics for a Euclidean Location-Allocation Problem.

[BibT_eX]

[DOI]

Weidong Cai

Valentin I. Spitkovsky

J. Heuristics, 2001

2000

On the Wavelength Assignment Problem in Multifiber WDM Star and Ring Networks.

[BibT_eX]

[DOI]

Guangzhi Li

Proceedings of the Proceedings IEEE INFOCOM 2000, 2000

Study of link congestion during I/O transfers in 2-D meshes using wormhole routing.

[BibT_eX]

S. R. Subramanya

Proceedings of the ISCA 15th International Conference Computers and Their Applications, 2000

1999

Routing and Scheduling I/O Transfers on Wormhole-Routed Mesh Networks.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 1999

On bounds for the wavelength assignment problem on optical ring networks.

[BibT_eX]

[DOI]

Guangzhi Li

J. High Speed Networks, 1999

Automated classification of audio data and retrieval based on audio classes.

[BibT_eX]

Proceedings of the Computers and Their Applications (CATA-99), 1999

I/O performance of X-Y routing in 2-D meshes under various node-to-disk assignments.

[BibT_eX]

S. R. Subramanya

Proceedings of the Computers and Their Applications (CATA-99), 1999

1998

Dynamic load balancing schemes for computing accessible surface area of protein molecules.

[BibT_eX]

[DOI]

Edward B. Suh

Proceedings of the 5th International Conference On High Performance Computing, 1998

1997

An urn model with applications to database performance evaluation.

[BibT_eX]

[DOI]

Amitava Majumdar

Comput. Oper. Res., 1997

Transform-Based Indexing of Audio Data for Multimedia Databases.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Multimedia Computing and Systems, 1997

1996

Efficient algorithms for erasure node placement on slotted dual bus networks.

[BibT_eX]

[DOI]

Sunil M. Shende

IEEE/ACM Trans. Netw., 1996

Static Assignment of Stochastic Tasks Using Majorization.

[BibT_eX]

[DOI]

David M. Nicol

Donald F. Towsley

IEEE Trans. Computers, 1996

Analysis of a Finite Buffer Queue with Heterogeneous Markov Modulated Arrival Processes: A Study of Traffic Burstiness and Priority Packet Discarding.

[BibT_eX]

[DOI]

Jaime Bae Kim

Tatsuya Suda

Comput. Networks ISDN Syst., 1996

File allocation for a parallel Webserver.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on High Performance Computing, 1996

1995

Fast Simulation of a Voice-Data Multiplexer.

[BibT_eX]

[DOI]

Philip Heidelberger

Proceedings of the Proceedings IEEE INFOCOM '95, 1995

Experimental Evaluation of Dynamic Data Allocation Strategies in A Distributed Database with Changing Workloads.

[BibT_eX]

[DOI]

Anna Brunström

Scott T. Leutenegger

Proceedings of the CIKM '95, Proceedings of the 1995 International Conference on Information and Knowledge Management, November 28, 1995

1994

Optimal Processor Assignment for a Class of Pipelined Computations.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 1994

On Lookahead in the List Update Problem.

[BibT_eX]

[DOI]

Amitava Majumdar

Inf. Process. Lett., 1994

Reducing Global Address Recognition Delays in Local Area Networks with Spatial Bandwidth Reuse.

[BibT_eX]

[DOI]

Yoram Ofek

Comput. Networks ISDN Syst., 1994

1993

Load Balancing of Complex Stochastic Tasks Using Stochastic Majorization.

[BibT_eX]

[DOI]

David M. Nicol

Donald F. Towsley

Proceedings of the Proceedings IEEE INFOCOM '93, The Conference on Computer Communications, Twelfth Annual Joint Conference of the IEEE Computer and Communications Societies, Networking: Foundation for the Future, San Francisco, CA, USA, March 28, 1993

1992

Some theorems on conditional Pasta: A stochastic integral approach.

[BibT_eX]

[DOI]

Walter A. Rosenkrantz

Oper. Res. Lett., 1992

Single Path Routing with Delay Considerations.

[BibT_eX]

[DOI]

Comput. Networks ISDN Syst., 1992

Analysis of Individual Packet Loss in a Finite Buffer Queue with Heterogeneous Markov Modulated Arrival Process: A Study of Traffic Burstiness and Priority Packet Discarding.

[BibT_eX]

[DOI]

Jaime Jungok Bae

Tatsuya Suda

Proceedings of the Proceedings IEEE INFOCOM '92, 1992

1991

A Starvation-Free Access Protocol for a Full-Duplex Buffer Insertion Ring Local Area Network.

[BibT_eX]

[DOI]