The University of Texas at Austin Austin Texas U.S.A.


국가: Austria

주요 연구 분야: Verification



📄 기관 상세정보

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

논문 목록 (1건)


Fixing Privilege Escalations in Cloud Access Control with MaxSAT and Graph Neural Networks
키워드: #security #repairing #misconfigurations #repairs #underexplored
파트: Verification | 연도: 2024