More Like this

1. Communicating Web Vessels: Improving the Responsiveness of Mobile Web Apps with Adaptive Redistribution

   An, Kijin; Tilevich, Eli (January 2021, Web Engineering. ICWE 2021. Lecture Notes in Computer Science, vol 12706. Springer, Cham.)

   null (Ed.)

   Best Paper Award 

   more » « less
2. Mobile Application Web API Reconnaissance: Web-to-Mobile Inconsistencies & Vulnerabilities

   https://doi.org/10.1109/SP.2018.00039  

   Abner Mendoza, Guofei Gu (January 2018, 2018 IEEE Symposium on Security and Privacy (S&P'18))
3. Practical web security testing: Evolution of web application modules and open source testing tools

   https://doi.org/10.1109/IDSTA55301.2022.9923130  

   Kunda, Mohammed Ali; Alsmadi, Izzat (September 2022, IEEE)
4. Food web consequences of thermal asymmetries

   https://doi.org/10.1111/1365-2435.14091  

   Gibert, Jean P.; Grady, John M.; Dell, Anthony I. (August 2022, Functional Ecology)
5. Modular verification of web page layout

   https://doi.org/10.1145/3360577  

   Panchekha, Pavel; Ernst, Michael_D; Tatlock, Zachary; Kamil, Shoaib (October 2019, Proceedings of the ACM on Programming Languages)

   Automated verification can ensure that a web page satisfies accessibility, usability, and design properties regardless of the end user's device, preferences, and assistive technologies. However, state-of-the-art verification tools for layout properties do not scale to large pages because they rely on whole-page analyses and must reason about the entire page using the complex semantics of the browser layout algorithm. This paper introduces and formalizes modular layout proofs. A modular layout proof splits a monolithic verification problem into smaller verification problems, one for each component of a web page. Each component specification can use rely/guarantee-style preconditions to make it verifiable independently of the rest of the page and enabling reuse across multiple pages. Modular layout proofs scale verification to pages an order of magnitude larger than those supported by previous approaches. We prototyped these techniques in a new proof assistant, Troika. In Troika, a proof author partitions a page into components and writes specifications for them. Troika then verifies the specifications, and uses those specifications to verify whole-page properties. Troika also enables the proof author to verify different component specifications with different verification tools, leveraging the strengths of each. In a case study, we use Troika to verify a large web page and demonstrate a speed-up of 13--1469x over existing tools, taking verification time from hours to seconds. We develop a systematic approach to writing Troika proofs and demonstrate it on 8 proofs of properties from prior work to show that modular layout proofs are short, easy to write, and provide benefits over existing tools. 

   more » « less