SETH: A VLSI Chip for the Real-Time Information Dispersal and Retrieval for Security and Fault-Tolerance. - Azer Bestavros (ICPP (1), 1990)

Management of sensory-motor activity in mobile robots. - Azer Bestavros; James J. Clark; Nicola J. Ferrier (ICRA, 1990)

Parallel bin packing using first fit and k-delayed best-fit heuristics. - Azer Bestavros; Thomas E. Cheatham; Dan C. Stefanescu (SPDP, 1990)

Efficient Execution of Homogeneous Tasks with Unequal Run Times on the Connection Machine. - Azer Bestavros; Thomas E. Cheatham (ICPP (3), 1991)

IDA-based Redundant Arrays of Inexpensive Disks. - Azer Bestavros (PDIS, 1991)

Specification and Verification of Real-Time Embedded Systems Using Time-Constrained Reactive Automata. - Azer Bestavros (RTSS, 1991)

Timeliness via Speculation for Real-Time Databases. - Azer Bestavros; Spyridon Braoudakis (RTSS, 1994)

ACM SIGPLAN Workshop on Language, Compiler, and Tool Support for Real-Time Systems, 1994 (Summary of the Workshop). - Azer Bestavros; Richard Gerber 001; Stephen P. Masticola (ACM SIGPLAN Notices, 1994)

Speculative Algorithms for Concurrency Control in Responsive Databases. - Azer Bestavros (Responsive Computer Systems, 1995)

Using Speculation to Reduce Server Load and Service Time on the WWW. - Azer Bestavros (CIKM, 1995)

Demand-based document dissemination to reduce traffic and balance load in distributed information systems. - Azer Bestavros (SPDP, 1995)

Value-cognizant Speculative Concurrency Control. - Azer Bestavros; Spyridon Braoudakis (VLDB, 1995)

Timely and fault-tolerant data access from broadcast disks: a pinwheel-based approach. - Sanjoy K. Baruah; Azer Bestavros (DART@CIKM, 1996)

Speculative Data Dissemination and Service to Reduce Server Load, Network Traffic and Service Time in Distributed Information Systems. - Azer Bestavros (ICDE, 1996)

Characterizing Reference Locality in the WWW. - Virgílio A. F. Almeida; Azer Bestavros; Mark Crovella; Adriana de Oliveira (PDIS, 1996)

AIDA-based real-time fault-tolerant broadcast disks. - Azer Bestavros (IEEE Real Time Technology and Applications Symposium, 1996)

Value-cognizant Admission Control Strategies for Real-Time DBMS. - Azer Bestavros; Sue Nagy (RTDB, 1996)

Value-cognizant admission control for RTDB systems. - Azer Bestavros; Sue Nagy (RTSS, 1996)

Self-Similarity in World Wide Web Traffic: Evidence and Causes. - Mark Crovella; Azer Bestavros (SIGMETRICS, 1996)

Server-Initated Document Dissemination for the WWW. - Azer Bestavros; Carlos Cunha (IEEE Data Eng. Bull., 1996)

Value-cognizant Speculative Concurrency Control for Real-Time Databases. - Azer Bestavros; Spyridon Braoudakis (Inf. Syst., 1996)

The validation and implementation of real-time robotics systems using Cleopatra object-oriented physically-correct specifications. - Azer Bestavros (OOPS Messenger, 1996)

Advances in Real-Time Database Systems Research. - Azer Bestavros (SIGMOD Rec., 1996)

Report on First International Workshop on Real-Time Database Systems. - Azer Bestavros; Kwei-Jay Lin; Sang Hyuk Son (SIGMOD Rec., 1996)

Implementation and Performance Evaluation of TCP Boston: A Fragmentation-Tolerant TCP Protocol for ATM Networks. - Azer Bestavros; Gitae Kim (ICC (2), 1997)

Pinwheel Scheduling for Fault-Tolerant Broadcast Disks in Real-time Database Systems. - Sanjoy K. Baruah; Azer Bestavros (ICDE, 1997)

Load Profiling for Efficient Route Selection in Multi-Class Networks. - Azer Bestavros; Ibrahim Matta (ICNP, 1997)

TCP Boston: A Fragmentation-Tolerant TCP Protocol for ATM Networks. - Azer Bestavros; Gitae Kim (INFOCOM, 1997)

Exploiting Redundancy for Timeliness in TCP Boston. - Azer Bestavros; Gitae Kim (IEEE Real Time Technology and Applications Symposium, 1997)

Admission Control for Soft-Transactions in ACCORD. - Sue Nagy; Azer Bestavros (IEEE Real Time Technology and Applications Symposium, 1997)

Real-Time Mutable Broadcast Disks. - Sanjoy K. Baruah; Azer Bestavros (RTDB, 1997)

Concurrency Admission Control for RT Databases. - Sue Nagy; Azer Bestavros (RTDB, 1997)

WWW traffic reduction and load balancing through server-based caching. - Azer Bestavros (IEEE Concurrency, 1997)

Load Profiling in Distributed Real-Time Systems. - Azer Bestavros (Inf. Sci., 1997)

Self-similarity in World Wide Web traffic: evidence and possible causes. - Mark Crovella; Azer Bestavros (IEEE/ACM Trans. Netw., 1997)

Distributed Packet Rewriting and its Application to Scalable Server Architectures. - Azer Bestavros; Mark Crovella; Jun Liu 013; David Martin (ICNP, 1998)

A Load Profiling Approach to Routing Guaranteed Bandwidth Flows. - Ibrahim Matta; Azer Bestavros (INFOCOM, 1998)

Statistical Rate Monotonic Scheduling. - Alia Atlas; Azer Bestavros (RTSS, 1998)

Engineering Real-Time Robotics Software Systems Using CLEOPATRA. - Azer Bestavros (Integr. Comput. Aided Eng., 1998)

Multiplexing VBR traffic flows with guaranteed application-level QoS using statistical rate monotonic scheduling. - Alia Atlas; Azer Bestavros (ICCCN, 1999)

Design and Implementation of Statistical Rate Monotonic Scheduling in KURT Linux. - Alia Atlas; Azer Bestavros (RTSS, 1999)

Load Profiling Based Routing for Guaranteed Bandwidth Flows. - Ibrahim Matta; Azer Bestavros; Marwan Krunz (Eur. Trans. Telecommun., 1999)

Changes in Web Client Access Patterns: Characteristics and Caching Implications. - Paul Barford; Azer Bestavros; Adam D. Bradley; Mark Crovella (World Wide Web, 1999)

Adaptive Reliable Multicast. - Jaehee Yoon; Azer Bestavros; Ibrahim Matta (ICC (3), 2000)

Popularity-Aware Greedy Dual-Size Web Proxy Caching Algorithms. - Azer Bestavros; Shudong Jin (ICDCS, 2000)

Robust Identification of Shared Losses Using End-to-End Unicast Probes. - Khaled Harfoush; Azer Bestavros; John W. Byers (ICNP, 2000)

Sources and Characteristics of Web Temporal Locality. - Shudong Jin; Azer Bestavros (MASCOTS, 2000)

SomeCast: A Paradigm for Real-Time Adaptive Reliable Multicast. - Jaehee Yoon; Azer Bestavros; Ibrahim Matta (IEEE Real Time Technology and Applications Symposium, 2000)

Temporal locality in Web request streams: sources, characteristics, and caching implications (poster). - Shudong Jin; Azer Bestavros (SIGMETRICS, 2000)

TCP-Friendly SIMD Congestion Control and Its Convergence Behavior. - Shudong Jin; Liang Guo 016; Ibrahim Matta; Azer Bestavros (ICNP, 2001)

On the marginal utility of network topology measurements. - Paul Barford; Azer Bestavros; John W. Byers; Mark Crovella (Internet Measurement Workshop, 2001)

GreedyDual* Web caching algorithm: exploiting the two sources of temporal locality in Web request streams. - Shudong Jin; Azer Bestavros (Comput. Commun., 2001)

GISMO: a Generator of Internet Streaming Media Objects and workloads. - Shudong Jin; Azer Bestavros (SIGMETRICS Perform. Evaluation Rev., 2001)

Basis token consistency: supporting strong Web cache consistency. - Adam D. Bradley; Azer Bestavros (GLOBECOM, 2002)

Accelerating Internet Streaming Media Delivery using Network-Aware Partial Caching. - Shudong Jin; Azer Bestavros; Arun Iyengar (ICDCS, 2002)

A Buffer-and-Relay Approach to Streaming Media Delivery for Asynchronous Clients. - Shudong Jin; Azer Bestavros (Networked Group Communication, 2002)

Scalability of multicast delivery for non-sequential streaming access. - Shudong Jin; Azer Bestavros (SIGMETRICS, 2002)

The Cyclone Server Architecture: streamlining delivery of popular content. - Stanislav Rost; John W. Byers; Azer Bestavros (Comput. Commun., 2002)

OSMOSIS: Scalable Delivery of Real-Time Streaming Media in Ad-Hoc Overlay Networks. - Azer Bestavros; Shudong Jin (ICDCS Workshops, 2003)

Systematic Verification of Safety Properties of Arbitrary Network Protocol Compositions Using CHAIN. - Adam D. Bradley; Azer Bestavros; Assaf J. Kfoury (ICNP, 2003)

Measuring Bottleneck Bandwidth of Targeted Path Segments. - Khaled Harfoush; Azer Bestavros; John W. Byers (INFOCOM, 2003)

Small-World Characteristics of the Internet and Multicast Scaling. - Shudong Jin; Azer Bestavros (MASCOTS, 2003)

Network-aware partial caching for Internet streaming media. - Shudong Jin; Azer Bestavros; Arun Iyengar (Multim. Syst., 2003)

A spectrum of TCP-friendly window-based congestion control algorithms. - Shudong Jin; Liang Guo 016; Ibrahim Matta; Azer Bestavros (IEEE/ACM Trans. Netw., 2003)

A Typed Model for Encoding-Based Protocol Interoperability. - Adam D. Bradley; Azer Bestavros; Assaf J. Kfoury (ICNP, 2004)

Exploiting the Transients of Adaptation for RoQ Attacks on Internet Resources. - Mina Guirguis; Azer Bestavros; Ibrahim Matta (ICNP, 2004)

Providing soft bandwidth guarantees using elastic TCP-based tunnels. - Mina Guirguis; Azer Bestavros; Ibrahim Matta; Niky Riga; G. Diamant; Yuting Zhang (ISCC, 2004)

On the interaction between data aggregation and topology control in wireless sensor networks. - Vijay Erramilli; Ibrahim Matta; Azer Bestavros (SECON, 2004)

Performance Evaluation of Distributed Prefetching for Asynchronous Multicast in P2P Networks. - Abhishek Sharma; Azer Bestavros; Ibrahim Matta (WCW, 2004)

Safe compositional specification of networking systems. - Azer Bestavros; Adam D. Bradley; Assaf J. Kfoury; Ibrahim Matta (Comput. Commun. Rev., 2004)

Typed Abstraction of Complex Network Compositions. - Azer Bestavros; Adam D. Bradley; Assaf J. Kfoury; Ibrahim Matta (ICNP, 2005)

Reduction of quality (RoQ) attacks on Internet end-systems. - Mina Guirguis; Azer Bestavros; Ibrahim Matta; Yuting Zhang (INFOCOM, 2005)

dPAM: a distributed prefetching protocol for scalable asynchronous multicast in P2P systems. - Abhishek Sharma; Azer Bestavros; Ibrahim Matta (INFOCOM, 2005)

Friendly virtual machines: leveraging a feedback-control model for application adaptation. - Yuting Zhang; Azer Bestavros; Mina Guirguis; Ibrahim Matta; Richard West (VEE, 2005)

M2RC: multiplicative-increase/additive-decrease multipath routing control for wireless sensor networks. - Hany Morcos; Ibrahim Matta; Azer Bestavros (SIGBED Rev., 2005)

Inference and Labeling of Metric-Induced Network Topologies. - Azer Bestavros; John W. Byers; Khaled Harfoush (IEEE Trans. Parallel Distributed Syst., 2005)

On the Impact of Low-Rate Attacks. - Mina Guirguis; Azer Bestavros; Ibrahim Matta (ICC, 2006)

Characterizing and Exploiting Reference Locality in Data Stream Applications. - Feifei Li 001; Ching Chang; George Kollios; Azer Bestavros (ICDE, 2006)

Mistreatment in Distributed Caching Groups: Causes and Implications. - Nikolaos Laoutaris; Georgios Smaragdakis; Azer Bestavros; Ioannis Stavrakakis (INFOCOM, 2006)

A Feedback Control Approach to Mitigating Mistreatment in Distributed Caching Groups. - Georgios Smaragdakis; Nikolaos Laoutaris; Ibrahim Matta; Azer Bestavros; Ioannis Stavrakakis (Networking, 2006)

snBench: programming and virtualization framework for distributed multitasking sensor networks. - Michael J. Ocean; Azer Bestavros; Assaf J. Kfoury (VEE, 2006)

Exogenous-loss aware traffic management in overlay networks: Toward global fairness. - Mina Guirguis; Azer Bestavros; Ibrahim Matta (Comput. Networks, 2006)

Small-world characteristics of Internet topologies and implications on multicast scaling. - Shudong Jin; Azer Bestavros (Comput. Networks, 2006)

A hierarchical characterization of a live streaming media workload. - Eveline Veloso; Virgílio A. F. Almeida; Wagner Meira Jr.; Azer Bestavros; Shudong Jin (IEEE/ACM Trans. Netw., 2006)

A Geometric Approach to Slot Alignment in Wireless Sensor Networks. - Niky Riga; Ibrahim Matta; Azer Bestavros (GLOBECOM, 2007)

Traffic Characteristics and Communication Patterns in Blogosphere. - Fernando Duarte; Bernardo Mattos; Azer Bestavros; Virgílio A. F. Almeida; Jussara M. Almeida (ICWSM, 2007)

Reduction of Quality (RoQ) Attacks on Dynamic Load Balancers: Vulnerability Assessment and Design Tradeoffs. - Mina Guirguis; Azer Bestavros; Ibrahim Matta; Yuting Zhang (INFOCOM, 2007)

Implications of Selfish Neighbor Selection in Overlay Networks. - Nikolaos Laoutaris; Georgios Smaragdakis; Azer Bestavros; John W. Byers (INFOCOM, 2007)

Distributed Placement of Service Facilities in Large-Scale Networks. - Nikolaos Laoutaris; Georgios Smaragdakis; Konstantinos Oikonomou; Ioannis Stavrakakis; Azer Bestavros (INFOCOM, 2007)

The Cache Inference Problem and its Application to Content and Request Routing. - Nikolaos Laoutaris; Georgios Zervas; Azer Bestavros; George Kollios (INFOCOM, 2007)

netEmbed: a service for embedding distributed applications. - Jorge Londoño; Azer Bestavros (Middleware (Demos and Posters), 2007)

TCP over CDMA2000 Networks: A Cross-Layer Measurement Study. - Karim Mattar; Ashwin Sridharan; Hui Zang; Ibrahim Matta; Azer Bestavros (PAM, 2007)

Mistreatment-resilient distributed caching. - Georgios Smaragdakis; Nikolaos Laoutaris; Azer Bestavros; Ibrahim Matta; Ioannis Stavrakakis (Comput. Networks, 2007)

Adversarial exploits of end-systems adaptation dynamics. - Mina Guirguis; Azer Bestavros; Ibrahim Matta; Yuting Zhang (J. Parallel Distributed Comput., 2007)

Distributed Selfish Caching. - Nikolaos Laoutaris; Georgios Smaragdakis; Azer Bestavros; Ibrahim Matta; Ioannis Stavrakakis (IEEE Trans. Parallel Distributed Syst., 2007)

Programming and Virtualization of Distributed Multitasking Sensor Networks. - Azer Bestavros; Michael J. Ocean (Handbook of Real-Time and Embedded Systems, 2007)

EGOIST: overlay routing using selfish neighbor selection. - Georgios Smaragdakis; Vassilis Lekakis; Nikolaos Laoutaris; Azer Bestavros; John W. Byers; Mema Roussopoulos (CoNEXT, 2008)

Swarming on Optimized Graphs for n-Way Broadcast. - Georgios Smaragdakis; Azer Bestavros; Nikolaos Laoutaris; John W. Byers; Pietro Michiardi; Mema Roussopoulos (INFOCOM, 2008)

NETEMBED: A network resource mapping service for distributed applications. - Jorge Londoño; Azer Bestavros (IPDPS, 2008)

Amorphous Placement and Informed Diffusion for Timely Field Monitoring by Autonomous, Resource-Constrained, Mobile Sensors. - Hany Morcos; Azer Bestavros; Ibrahim Matta (SECON, 2008)

Wireless and physical security via embedded sensor networks. - Michael J. Ocean; Azer Bestavros (WISEC, 2008)

Colocation Games and Their Application to Distributed Resource Management. - Jorge Londoño; Azer Bestavros; Shang-Hua Teng (HotCloud, 2009)

Assessment of Vulnerability of Content Adaptation Mechanisms to RoQ Attacks. - Mina Guirguis; Joshua Tharp; Azer Bestavros; Ibrahim Matta (ICN, 2009)

A formal type-centric framework for verification and resource allocation in pervasive Sense-and-Respond systems. - Michael J. Ocean; Assaf J. Kfoury; Azer Bestavros (MOMPES, 2009)

CSR: Constrained Selfish Routing in Ad-Hoc Networks. - Christine Bassem; Azer Bestavros (WASA, 2009)

Measuring capacity bandwidth of targeted path segments. - Khaled Harfoush; Azer Bestavros; John W. Byers (IEEE/ACM Trans. Netw., 2009)

A Trading System for Fairly Scheduling Fixed-Sized Delay Tolerant Jobs at a Shared Link. - Jorge Londoño; Azer Bestavros; Nikolaos Laoutaris (GLOBECOM, 2010)

Safe compositional network sketches: formal framework. - Azer Bestavros; Assaf J. Kfoury; Andrei Lapets; Michael J. Ocean (HSCC, 2010)

Preferential field coverage through detour-based mobility coordination. - Hany Morcos; Azer Bestavros; Ibrahim Matta (Med-Hoc-Net, 2010)

Colocation as a Service: Strategic and Operational Services for Cloud Colocation. - Vatche Ishakian; Raymond Sweha; Jorge Londoño; Azer Bestavros (NCA, 2010)

A Type-Theoretic Framework for Efficient and Safe Colocation of Periodic Real-Time Systems. - Vatche Ishakian; Azer Bestavros; Assaf J. Kfoury (RTCSA, 2010)

Dynamic cross domain information sharing: a concept paper on flexible adaptive policy management. - Michael Atighetchi; Jonathan Webb; Partha P. Pal; Joseph P. Loyall; Azer Bestavros; Michael J. Mayhew (SafeConfig, 2010)

Wireless Network Algorithms, Systems, and Applications. - Benyuan Liu; Azer Bestavros; Jie Wang 002; Ding-Zhu Du (EURASIP J. Wirel. Commun. Netw., 2010)

Distributed Network Formation for n-Way Broadcast Applications. - Georgios Smaragdakis; Nikolaos Laoutaris; Pietro Michiardi; Azer Bestavros; John W. Byers; Mema Roussopoulos (IEEE Trans. Parallel Distributed Syst., 2010)

Angels in the Cloud: A Peer-Assisted Bulk-Synchronous Content Distribution Service. - Raymond Sweha; Vatche Ishakian; Azer Bestavros (IEEE CLOUD, 2011)

Safe Compositional Equation-based Modeling of Constrained Flow Networks. - Nate Soule; Azer Bestavros; Assaf J. Kfoury; Andrei Lapets (EOOLT, 2011)

Formal Verification of SLA Transformations. - Vatche Ishakian; Andrei Lapets; Azer Bestavros; Assaf J. Kfoury (SERVICES, 2011)

An information-theoretic framework for field monitoring using autonomously mobile sensors. - Hany Morcos; George K. Atia; Azer Bestavros; Ibrahim Matta (Ad Hoc Networks, 2011)

Trade & Cap: A customer-managed, market-based system for trading bandwidth allowances at a shared link. - Jorge Londoño; Azer Bestavros; Nikolaos Laoutaris (Comput. Networks, 2011)

A Domain-Specific Language for Incremental and Modular Design of Large-Scale Verifiably-Safe Flow Networks (Preliminary Report). - Azer Bestavros; Assaf J. Kfoury (DSL, 2011)

Selfish Overlay Network Creation and Maintenance. - Georgios Smaragdakis; Nikolaos Laoutaris; Vassilis Lekakis; Azer Bestavros; John W. Byers; Mema Roussopoulos (IEEE/ACM Trans. Netw., 2011)

MORPHOSYS: Efficient Colocation of QoS-Constrained Workloads in the Cloud. - Vatche Ishakian; Azer Bestavros (CCGRID, 2012)

Message from the Program Chairs. - Fei-Yue Wang 001; Lee Stogner; Walid G. Aref; Jaime Lloret Mauri; Yacine Ghamri-Doudane; Azer Bestavros; Yu Yuan; David George Dorrell; Mehrdad Ehsani; Gianfranco Rizzo; V. Setty Pendakur (ICCVE, 2012)

CloudPack - Exploiting Workload Flexibility through Rational Pricing. - Vatche Ishakian; Raymond Sweha; Azer Bestavros; Jonathan Appavoo (Middleware, 2012)

A Framework for the Evaluation and Management of Network Centrality. - Vatche Ishakian; Dóra Erdös; Evimaria Terzi; Azer Bestavros (SDM, 2012)

Peer-assisted content distribution on a budget. - Pietro Michiardi; Damiano Carra; Francesco Albanese; Azer Bestavros (Comput. Networks, 2012)

The Filter-Placement Problem and its Application to Minimizing Information Multiplicity. - Dóra Erdös; Vatche Ishakian; Andrei Lapets; Evimaria Terzi; Azer Bestavros (Proc. VLDB Endow., 2012)

Verifiably-safe software-defined networks for CPS. - Richard William Skowyra; Andrei Lapets; Azer Bestavros; Assaf J. Kfoury (HiCoNS, 2013)

Software-Defined IDS for securing embedded mobile devices. - Richard Skowyra; Sanaz Bahargam; Azer Bestavros (HPEC, 2013)

Towards accessible integration and deployment of formal tools and techniques. - Andrei Lapets; Richard Skowyra; Azer Bestavros; Assaf J. Kfoury (TOPI@ICSE, 2013)

Repetition-aware content placement in navigational networks. - Dóra Erdös; Vatche Ishakian; Azer Bestavros; Evimaria Terzi (KDD, 2013)

Preface to special issue: lightweight and practical formal methods in the design and analysis of safety-critical systems. - Azer Bestavros; Assaf J. Kfoury (Math. Struct. Comput. Sci., 2013)

Postlude: seamless composition and integration - a perspective on formal methods research. - Azer Bestavros; Assaf J. Kfoury; Andrei Lapets (Math. Struct. Comput. Sci., 2013)

A Verification Platform for SDN-Enabled Applications. - Richard Skowyra; Andrei Lapets; Azer Bestavros; Assaf J. Kfoury (IC2E, 2014)

Toward an Open Cloud Marketplace: Vision and First Steps. - Azer Bestavros; Orran Krieger (IEEE Internet Comput., 2014)

Distributed Server Migration for Scalable Internet Service Deployment. - Georgios Smaragdakis; Nikolaos Laoutaris; Konstantinos Oikonomou; Ioannis Stavrakakis; Azer Bestavros (IEEE/ACM Trans. Netw., 2014)

Network-Constrained Packing of Brokered Workloads in Virtualized Environments. - Christine Bassem; Azer Bestavros (CCGRID, 2015)

Personalized Education; Solving a Group Formation and Scheduling Problem for Educational Content. - Sanaz Bahargam; Dóra Erdös; Azer Bestavros; Evimaria Terzi (EDM, 2015)

Programming Support for an Integrated Multi-Party Computation and MapReduce Infrastructure. - Nikolaj Volgushev; Andrei Lapets; Azer Bestavros (HotWeb, 2015)

End-to-end informed VM selection in compute clouds. - Mário Meireles Teixeira; Azer Bestavros (ICC Workshops, 2015)

Policies for Assisted Virtual Machine Selection in Cloud Computing Environments. - Mário Meireles Teixeira; Azer Bestavros (SBRC, 2015)

A Divide-and-Conquer Algorithm for Betweenness Centrality. - Dóra Erdös; Vatche Ishakian; Azer Bestavros; Evimaria Terzi (SDM, 2015)

Rational coordination of crowdsourced resources for geo-temporal request satisfaction. - Christine Bassem; Azer Bestavros (WOWMOM, 2015)

Markov Modeling of Moving Target Defense Games. - Hoda Maleki; Saeed Valizadeh; William Koch; Azer Bestavros; Marten van Dijk (MTD@CCS, 2016)

PROVIDE: Hiding from Automated Network Scans with Proofs of Identity. - William Koch; Azer Bestavros (HotWeb, 2016)

Secure MPC for Analytics as a Web Application. - Andrei Lapets; Nikolaj Volgushev; Azer Bestavros; Frederick Jansen; Mayank Varia (SecDev, 2016)

Using Alloy to Formally Model and Reason About an OpenFlow Network Switch. - Saber Mirzaei; Sanaz Bahargam; Richard Skowyra; Assaf J. Kfoury; Azer Bestavros (CoRR, 2016)

Markov Modeling of Moving Target Defense Games. - Mohammad Hadi Valizadeh; Hoda Maleki; William Koch; Azer Bestavros; Marten van Dijk (IACR Cryptol. ePrint Arch., 2016)

DEMO: Integrating MPC in Big Data Workflows. - Nikolaj Volgushev; Malte Schwarzkopf; Andrei Lapets; Mayank Varia; Azer Bestavros (IACR Cryptol. ePrint Arch., 2016)

GuideMe: Routes coordination of participating agents in mobile crowd sensing platforms. - Christine Bassem; Azer Bestavros (IEEE BigData, 2017)

Scalable Secure Multi-party Network Vulnerability Analysis via Symbolic Optimization. - Kinan Dak Albab; Rawane Issa; Andrei Lapets; Azer Bestavros; Nikolaj Volgushev (IEEE Symposium on Security and Privacy Workshops, 2017)

User-centric distributed solutions for privacy-preserving analytics. - Azer Bestavros; Andrei Lapets; Mayank Varia (Commun. ACM, 2017)

AngelCast: Cloud-based peer-assisted live streaming using optimized multi-tree construction. - Vatche Ishakian; Raymond Sweha; Azer Bestavros (Comput. Commun., 2017)

Team Formation for Scheduling Educational Material in Massive Online Classes. - Sanaz Bahargam; Dóra Erdös; Azer Bestavros; Evimaria Terzi (CoRR, 2017)

Multi-Capacity Bin Packing with Dependent Items and its Application to the Packing of Brokered Workloads in Virtualized Environments. - Christine Bassem; Azer Bestavros (Future Gener. Comput. Syst., 2017)

Role-Based Ecosystem Model for Design, Development, and Deployment of Secure Multi-Party Data Analytics Applications. - Andrei Lapets; Mayank Varia; Azer Bestavros; Frederick Jansen (IACR Cryptol. ePrint Arch., 2017)

Accessible Privacy-Preserving Web-Based Data Analysis for Assessing and Addressing Economic Inequalities. - Andrei Lapets; Frederick Jansen; Kinan Dak Albab; Rawane Issa; Lucy Qin; Mayank Varia; Azer Bestavros (COMPASS, 2018)

S3B: Software-Defined Secure Server Bindings. - William Koch; Azer Bestavros (ICDCS, 2018)

A case study of a shared/buy-in computing ecosystem. - Christopher Liao; Yonatan Klausner; David Starobinski; Eran Simhon; Azer Bestavros (Clust. Comput., 2018)

ppXen: A hypervisor CPU scheduler for mitigating performance variability in virtualized clouds. - Esmail Asyabi; Mohsen Sharifi; Azer Bestavros (Future Gener. Comput. Syst., 2018)

TerrierTail: Mitigating Tail Latency of Cloud Virtual Machines. - Esmail Asyabi; SeyedAlireza SanaeeKohroudi; Mohsen Sharifi; Azer Bestavros (IEEE Trans. Parallel Distributed Syst., 2018)

Conclave: secure multi-party computation on big data. - Nikolaj Volgushev; Malte Schwarzkopf; Ben Getchell; Mayank Varia; Andrei Lapets; Azer Bestavros (EuroSys, 2019)

Role-Based Ecosystem for the Design, Development, and Deployment of Secure Multi-Party Data Analytics Applications. - Andrei Lapets; Kinan Dak Albab; Rawane Issa; Lucy Qin; Mayank Varia; Azer Bestavros; Frederick Jansen (SecDev, 2019)

Neuroflight: Next Generation Flight Control Firmware. - William Koch; Renato Mancuso 001; Azer Bestavros (CoRR, 2019)

Conclave: secure multi-party computation on big data (extended TR). - Nikolaj Volgushev; Malte Schwarzkopf; Ben Getchell; Mayank Varia; Andrei Lapets; Azer Bestavros (CoRR, 2019)

MORPHOSYS: Efficient Colocation of QoS-Constrained Workloads in the Cloud. - Vatche Ishakian; Azer Bestavros; Assaf J. Kfoury (CoRR, 2019)

Reinforcement Learning for UAV Attitude Control. - William Koch; Renato Mancuso 001; Richard West; Azer Bestavros (ACM Trans. Cyber Phys. Syst., 2019)

Peafowl: in-application CPU scheduling to reduce power consumption of in-memory key-value stores. - Esmail Asyabi; Azer Bestavros; Erfan Sharafzadeh; Timothy Zhu (SoCC, 2020)

Akita: A CPU scheduler for virtualized Clouds. - Esmail Asyabi; Azer Bestavros; Renato Mancuso 001; Richard West; Erfan Sharafzadeh (CoRR, 2020)

A Game-Theoretic Analysis of Shared/Buy-in Computing Systems. - Zhenpeng Shi; Azer Bestavros; Ariel Orda; David Starobinski (IEEE Open J. Commun. Soc., 2020)

Bridging the Computer Science - Law Divide: Recommendations from the Front Lines. - Azer Bestavros; Stacey Dogan; Paul Ohm; Andrew Sellars (CSLAW, 2022)

Multi-Regulation Computing: Examining the Legal and Policy Questions That Arise From Secure Multiparty Computation. - Julissa Milligan Walsh; Mayank Varia; Aloni Cohen; Andrew Sellars; Azer Bestavros (CSLAW, 2022)

A new benchmark harness for systematic and robust evaluation of streaming state stores. - Esmail Asyabi; Yuanli Wang; John Liagouris; Vasiliki Kalavri; Azer Bestavros (EuroSys, 2022)