ITRT
IT Research Trends
논문
논문
저자
기관
국가
키워드
Search
소개
분석
인기 자료
연구분야별 논문
Analysis
Artificial Intelligence
Cryptography
Databases
Infrastructure
Networking
Safety
Software Development
Strategies
Verification
로그인
회원가입
Search by keyword
Satyanarayana Vusirikala
Home
search page
author
Satyanarayana Vusirikala
소속 기관:
University of Texas at Austin Austin TX USA
국가:
Austria
주요 연구 분야:
Verification
주요 키워드:
#algorithms
#researchers
#cryptographic
좋아요 (
0
)
PDF 저장
📄 저자 정보
출판수
2
총 인용수
1
평균 인용수
0.50
좋아요 수
0
정량적 분석
정성적 분석
연도별 출판 논문
파트별 논문
저자 키워드
공동 저자 관계도
로그인 후 사용 가능
📊 분석 중입니다. 잠시만 기다려 주세요...
논문 목록
(2건)
내 서재 담기
PPE Circuits for Rational Polynomials
저자:
Susan Hohenberger
,
Satyanarayana Vusirikala
키워드:
#algorithms
#researchers
#cryptographic
#algebraic
#cryptographers
파트:
Verification
|
연도:
2021
PPE Circuits: Formal Definition to Software Automation
저자:
Susan Hohenberger
,
Satyanarayana Vusirikala
,
Brent Waters
키워드:
#algorithm
#algorithms
#encryption
#cryptography
#verifying
파트:
Verification
|
연도:
2020