공지
2024-1학기 기말시험 기간 도서관 이용안내
원문복사·상호대차 이용안내
2024-1학기 도서관 프로그램 안내
북 갤러리 독서프로그램(북며들기)안내
2024학년도 1학기 도서관 이용안내
이전
다음
Close today
공지사항 닫기
DAU Library
Central Library
Dong-A University
LOGIN
Off-Campus Access
OFF
KO
Open the search box
Search"
Search
All
Library Catalog
eArticles
eJournals
Databases
e-Learning
e-Learning
INSPIRE
KOCW
Overseas OCW/MOOC List
eBooks
Collections
New Arrivals(Subject)
Popular Books
Recommendations
DAU Reading List
Book Gallery
Research book
Research Support
Journal Evaluation
Subject Guides
Plagiarism Prevention
Plagiarism Prevention
Research Ethics
References Management
Thesis Submission
Document Delivery Service/Interlibrary Loan
Document Delivery Service/Interlibrary Loan
Medicine, Nursing(Request_Journal)
Medicine, Nursing(Request_Thesis)
DDS/ILL – Request list
Library Instruction
Library Instruction Guide
Library Instruction Request
Group Instruction Request
Libaray Services
Use Using Materials
Borrow/Renew/Return
Inter-Campus Loan
Purchase Request
Closed Stack Request
Priority Cataloging Book Request
Missing Book Request
Facilities
Group Study Room
Group Study Room Request
Reading Room
Visit Other Libraries(Data)
Visit Other Libraries for Material Use
Visit Other Libraries Request(Data)
Request History (Material Use)
Visit Other Libraries(Reading Room)
Visit Other Libraries Guide(Reading Room)
Visit Other Libraries Request(Reading Room)
Request History (Reading Room)
User Guide
Undergraduates
Graduates students
Faculty/Staff
Special member
Etc.
Mobile Service
Mobile Web
Mobile Seat Allocation
Mobile ID Card
WiFi
Off-Campus Access
Find Services
About our Library
Overview
Overview
History
Status
Regulations
Organization/Staff
Library Hours
Floor Guide
Donations
How to Donate
List
Cyber Memorial Collection
Directions
Community
Notice
Notice(Datebases)
Q&A
Q&A
FAQ
Book Reviews
Best Reviews
Program Feedback
Forms
Error Inquiry
My Library
Borrow/Renew
Borrow/Renew
History
Inter-Campus Loan List
My Request List
Purchase Request
Closed Stack Request
Priority Cataloging Book Request
Missing Book Request
DDS – Request List
Group Study Room
Library Instruction
My Shelf
My Book Reviews
Personal Information
Profile
Notice
Quick Menu
My Shelf
Error Inquiry
메뉴 전체보기
eArticles
Home
>
Search
>
eArticles
>
All
Library Catalog
eArticles
eJournals
전체
ISSN
논문 제목
Journal Title
저자
발행년도
-
(ex : 2010-2015)
'
학술논문
' 에서의 검색결과
143
건 | List
1~10
Select All
Relevance
Date Newest
Date Oldest
5
10
20
30
40
50
E-Mail
EndNote
RefWorks
1 . Conference
Subterm-Based Proof Techniques for Improving the Automation and Scope of Security Protocol Analysis
저자
by
Cremers, Cas
;
Jacomme, Charlie
;
Lukert, Philip
.
소스
2023 IEEE 36th Computer Security Foundations Symposium (CSF) CSF Computer Security Foundations Symposium (CSF), 2023 IEEE 36th. :200-213 Jul, 2023
Full Text (IEEE)
요약보기
Export
E-Mail
EndNote
RefWorks
5 . Conference
FIDO2, CTAP 2.1, and WebAuthn 2: Provable Security and Post-Quantum Instantiation
저자
by
Bindel, Nina
;
Cremers, Cas
;
Zhao, Mang
.
소스
2023 IEEE Symposium on Security and Privacy (SP) SP Security and Privacy (SP), 2023 IEEE Symposium on. :1471-1490 May, 2023
Full Text (IEEE)
요약보기
Export
E-Mail
EndNote
RefWorks
5 . Conference
A Logic and an Interactive Prover for the Computational Post-Quantum Security of Protocols
저자
by
Cremers, Cas
;
Fontaine, Caroline
;
Jacomme, Charlie
.
소스
2022 IEEE Symposium on Security and Privacy (SP) SP Security and Privacy (SP), 2022 IEEE Symposium on. :125-141 May, 2022
Full Text (IEEE)
요약보기
Export
E-Mail
EndNote
RefWorks
5 . Conference
BUFFing signature schemes beyond unforgeability and the case of post-quantum signatures
저자
by
Cremers, Cas
;
Duzlu, Samed
;
Fiedler, Rune
;
Fischlin, Marc
;
Janson, Christian
.
소스
2021 IEEE Symposium on Security and Privacy (SP) SP Security and Privacy (SP), 2021 IEEE Symposium on. :1696-1714 May, 2021
Full Text (IEEE)
요약보기
Export
E-Mail
EndNote
RefWorks
7 . Conference
SoK: Computer-Aided Cryptography
저자
by
Barbosa, Manuel
;
Barthe, Gilles
;
Bhargavan, Karthik
;
Blanchet, Bruno
;
Cremers, Cas
, et al.
소스
2021 IEEE Symposium on Security and Privacy (SP) SP Security and Privacy (SP), 2021 IEEE Symposium on. :777-795 May, 2021
Full Text (IEEE)
요약보기
Export
E-Mail
EndNote
RefWorks
7 . Conference
The Provable Security of Ed25519: Theory and Practice
저자
by
Brendel, Jacqueline
;
Cremers, Cas
;
Jackson, Dennis
;
Zhao, Mang
.
소스
2021 IEEE Symposium on Security and Privacy (SP) SP Security and Privacy (SP), 2021 IEEE Symposium on. :1659-1676 May, 2021
Full Text (IEEE)
요약보기
Export
E-Mail
EndNote
RefWorks
6 . Periodical
Deploying Decentralized, Privacy-Preserving Proximity Tracing.
저자
by
TRONCOSO, CARMELA
;
BOGDANOV, DAN
;
BUGNION, EDOUARD
;
CHATEL, SYLVAIN
;
CREMERS, CAS
, et al.
소스
Communications of the ACM
. Sep2022, Vol. 65 Issue 9, p48-57. 10p. 2 Color Photographs.
Web of Science
Scopus
JCR 저널정보
Find it @ DONGA
요약보기
Export
E-Mail
EndNote
RefWorks
7 . Conference
Limiting the impact of unreliable randomness in deployed security protocols
저자
by
Akhmetzyanova, Liliya
;
Cremers, Cas
;
Garratt, Luke
;
Smyshlyaev, Stanislav
;
Sullivan, Nick
.
소스
2020 IEEE 33rd Computer Security Foundations Symposium (CSF) Computer Security Foundations Symposium (CSF), 2020 IEEE 33rd. :277-287 Jun, 2020
Full Text (IEEE)
요약보기
Export
E-Mail
EndNote
RefWorks
7 . Conference
Improving Automated Symbolic Analysis of Ballot Secrecy for E-Voting Protocols: A Method Based on Sufficient Conditions
저자
by
Hirschi, Lucca
;
Cremers, Cas
.
소스
2019 IEEE European Symposium on Security and Privacy (EuroS&P) Security and Privacy (EuroS&P), 2019 IEEE European Symposium on. :635-650 Jun, 2019
Full Text (IEEE)
요약보기
Export
E-Mail
EndNote
RefWorks
4 . Conference
Prime, Order Please! Revisiting Small Subgroup and Invalid Curve Attacks on Protocols using Diffie-Hellman
저자
by
Cremers, Cas
;
Jackson, Dennis
.
소스
2019 IEEE 32nd Computer Security Foundations Symposium (CSF) CSF Computer Security Foundations Symposium (CSF), 2019 IEEE 32nd. :78-7815 Jun, 2019
Full Text (IEEE)
요약보기
Export
E-Mail
EndNote
RefWorks
1
2
3
…
15
Next
메일 발송
로그인후 이용해주세요.
이동하기
Full menu
Close full menu
Search
All
Library Catalog
eArticles
eJournals
Databases
e-Learning
e-Learning
INSPIRE
KOCW
Overseas OCW/MOOC List
eBooks
Collections
New Arrivals(Subject)
Popular Books
Recommendations
DAU Reading List
Book Gallery
Research book
Research Support
Journal Evaluation
Subject Guides
Plagiarism Prevention
Plagiarism Prevention
Research Ethics
References Management
Thesis Submission
Document Delivery Service/Interlibrary Loan
Document Delivery Service/Interlibrary Loan
Medicine, Nursing(Request_Journal)
Medicine, Nursing(Request_Thesis)
DDS/ILL – Request list
Library Instruction
Library Instruction Guide
Library Instruction Request
Group Instruction Request
Libaray Services
Use Using Materials
Borrow/Renew/Return
Inter-Campus Loan
Purchase Request
Closed Stack Request
Priority Cataloging Book Request
Missing Book Request
Facilities
Group Study Room
Group Study Room Request
Reading Room
Visit Other Libraries(Data)
Visit Other Libraries for Material Use
Visit Other Libraries Request(Data)
Request History (Material Use)
Visit Other Libraries(Reading Room)
Visit Other Libraries Guide(Reading Room)
Visit Other Libraries Request(Reading Room)
Request History (Reading Room)
User Guide
Undergraduates
Graduates students
Faculty/Staff
Special member
Etc.
Mobile Service
Mobile Web
Mobile Seat Allocation
Mobile ID Card
WiFi
Off-Campus Access
Find Services
About our Library
Overview
Overview
History
Status
Regulations
Organization/Staff
Library Hours
Floor Guide
Donations
How to Donate
List
Cyber Memorial Collection
Directions
Community
Notice
Notice(Datebases)
Q&A
Q&A
FAQ
Book Reviews
Best Reviews
Program Feedback
Forms
Error Inquiry
My Library
Borrow/Renew
Borrow/Renew
History
Inter-Campus Loan List
My Request List
Purchase Request
Closed Stack Request
Priority Cataloging Book Request
Missing Book Request
DDS – Request List
Group Study Room
Library Instruction
My Shelf
My Book Reviews
Personal Information
Profile
Notice