IIT Bombay Mumbai India

  1. Home
  2. search page
  3. affiliation

IIT Bombay Mumbai India

국가: India
주요 연구 분야: Verification
주요 키워드: #benchmarks #threaded #recursive
주요 저자:
#Viktor Vafeiadis #Parosh Aziz Abdulla #Mohamed Faouzi Atig #Adwait Godbole #S. Krishna

📄 기관 상세정보

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

논문 목록 (2건)

COA-Secure Obfuscation and Applications
저자: Ran Canetti , Suvradip Chakraborty , Dakshita Khurana , Nishant Kumar , Oxana Poburinnaya , Manoj Prabhakaran
키워드: #security #encryption #strengthening #verification #proofs
파트: Analysis | 연도: 2022
The Decidability of Verification under PS 2.0
저자: Viktor Vafeiadis , Parosh Aziz Abdulla , Mohamed Faouzi Atig , Adwait Godbole , S. Krishna
키워드: #benchmarks #threaded #recursive #decidable #undecidable
파트: Verification | 연도: 2021