Logic, Language, and Security: Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday von Nigam, Vivek, Ban Kirigin, Tajana, Talcott, Carolyn, Guttman, Joshua, Kuznetsov, Stepan, Thau Loo, Boon, Okada, Mitsuhiro

Volltext

Synthesizing Formal Network Specifications From Input-Output Examples von Chen, Haoxian, Wu, Chenyuan, Zhao, Andrew, Raghothaman, Mukund, Naik, Mayur, Loo, Boon Thau

Volltext

NetEgg: A Scenario-Based Programming Toolkit for SDN Policies von Yuan, Yifei, Lin, Dong, Anil, Siri, Verma, Harsh, Chelluri, Anirudh, Alur, Rajeev, Loo, Boon Thau

Volltext

Private and Verifiable Interdomain Routing Decisions von Mingchen Zhao, Wenchao Zhou, Gurney, Alexander J. T., Haeberlen, Andreas, Sherr, Micah, Boon Thau Loo

Volltext

Complex Queries in DHT-based Peer-to-Peer Networks von Harren, Matthew, Hellerstein, Joseph M., Huebsch, Ryan, Loo, Boon Thau, Shenker, Scott, Stoica, Ion

Volltext

PUMA: Policy-Based Unified Multiradio Architecture for Agile Mesh Networking von Changbin Liu, Correa, Ricardo, Gill, Harjot, Gill, Tanveer, Xiaozhou Li, Muthukumar, Shivkumar, Saeed, Taher, Boon Thau Loo, Basu, Prithwish

Volltext

Declarative Policy-Based Adaptive Mobile Ad Hoc Networking von Changbin Liu, Correa, R., Xiaozhou Li, Basu, P., Boon Thau Loo, Yun Mao

Volltext

Gender Bias in Neural Natural Language Processing von Lu, Kaiji, Mardziel, Piotr, Wu, Fangjing, Amancharla, Preetam, Datta, Anupam

Volltext

A Program Logic for Verifying Secure Routing Protocols von Chen, Chen, Jia, Limin, Xu, Hao, Luo, Cheng, Zhou, Wenchao, Loo, Boon Thau

Volltext

The design and implementation of the A3 application-aware anonymity platform von Sherr, Micah, Gill, Harjot, Saeed, Taher Aquil, Mao, Andrew, Marczak, William R., Soundararajan, Saravana, Zhou, Wenchao, Loo, Boon Thau, Blaze, Matt

Volltext

Implementing declarative overlays von BOON THAU LOO, MANIATIS, Petros, CONDIE, Tyson, ROSCOE, Timothy, HELLERSTEIN, Joseph M, STOICA, Ion

Volltext

AS-CRED: Reputation and Alert Service for Interdomain Routing von Jian Chang, Venkatasubramanian, Krishna K., West, Andrew G., Kannan, Sampath, Insup Lee, Boon Thau Loo, Sokolsky, Oleg

Volltext

Maintaining distributed logic programs incrementally von Nigam, Vivek, Jia, Limin, Thau Loo, Boon, Scedrov, Andre

Volltext

The case for a hybrid P2P search infrastructure von BOON THAU LOO, HUEBSCH, Ryan, STOICA, Ion, HELLERSTEIN, Joseph M

Volltext

Maintaining Recursive Views of Regions and Connectivity in Networks von Mengmeng Liu, Taylor, Nicholas E, Wenchao Zhou, Ives, Zachary G, Boon Thau Loo

Volltext

Towards dynamic pricing-based collaborative optimizations for green data centers von Yang Li, Chiu, D., Changbin Liu, Phan, L. T. X., Gill, T., Aggarwal, S., Zhuoyao Zhang, Boon Thau Loo, Maier, D., McManus, B.

Volltext bestellen

BFTGym: An Interactive Playground for BFT Protocols von Qin, Haoyun, Wu, Chenyuan, Amiri, Mohammad Javad, Marcus, Ryan, Loo, Boon Thau

Volltext

Towards Truly Adaptive Byzantine Fault-Tolerant Consensus von Wu, Chenyuan, Qin, Haoyun, Javad Amiri, Mohammad, Thau Loo, Boon, Malkhi, Dahlia, Marcus, Ryan

Volltext

Rashnu: Data-Dependent Order-Fairness von Nagda, Heena, Singhal, Shubhendra Pal, Amiri, Mohammad Javad, Loo, Boon Thau

Volltext

Towards Full Stack Adaptivity in Permissioned Blockchains von Wu, Chenyuan, Amiri, Mohammad Javad, Qin, Haoyun, Mehta, Bhavana, Marcus, Ryan, Loo, Boon Thau

Volltext