Northeastern University USA

  1. Home
  2. search page
  3. affiliation

Northeastern University USA

국가: United States
주요 연구 분야: Verification
주요 키워드: #tools #challenging #essential
주요 저자:
#Wolf Honoré #Jieung Kim #Ji-yong Shin #Zhong Shao #James Perretta

📄 기관 상세정보

출판수6
총 인용수37
평균 인용수6.17
저자 수28
좋아요 수0
연도별 출판 논문
파트별 논문
기관 키워드
공동 기관 관계도

논문 목록 (6건)

OAuth 2.0 Redirect URI Validation Falls Short, Literally
저자: Tommaso Innocenti , Matteo Golinelli , Kaan Onarlıoğlu , Ali Mirheidari , B. Crispo , Engin Kirda
키워드: #web #attack #websites #redirect #redirection
파트: Verification | 연도: 2023
Shimware: Toward Practical Security Retrofitting for Monolithic Firmware Images
저자: Eric Gustafson , Paul Grosen , Nilo Redini , Saagar Jha , Andrea Continella , Ruoyu Wang , Kevin E Fu , Sara Rampazzi , Christopher Kruegel , Giovanni Vigna
키워드: #vulnerabilities #security #internet #attacker #firmware
파트: Verification | 연도: 2023
Augur: Dynamic Taint Analysis for Asynchronous JavaScript
저자: Mark W Aldrich , Alexi Turcotte , Matthew Blanco , Frank Tip
키워드: #popular #2016 #tools #javascript #keywords
파트: Analysis | 연도: 2023
On the use of mutation analysis for evaluating student test suite quality
저자: James Perretta , Andrew Whitehouse DeOrio , Arjun Guha , Jonathan Bell
키워드: #researchers #science #tools #instructors #mutants
파트: Verification | 연도: 2022
Adore: atomic distributed objects with certified reconfiguration
저자: Wolf Honoré , Jieung Kim , Ji-yong Shin , Zhong Shao
키워드: #complexity #complex #reconfigurable #reconfiguration #leak
파트: Verification | 연도: 2022
Much ADO about failures: a fault-aware model for compositional verification of strongly consistent distributed systems
저자: Wolf Honoré , Jieung Kim , Ji-yong Shin , Zhong Shao
키워드: #challenging #essential #compromising #key #proofs
파트: Verification | 연도: 2021