부산대학교 도서관
검색
Total
Catalog
e-Article
e-Journal
Database
e-Book
Proxy
OFF
Login
Community
Notice & Event
Inquiry Bulletin Board
FAQ
Phone/E-mail Inquiry
Schedule
KOR
Login
Search
Total Search
Catalog
e-Article
e-Journal
Database
e-Book
e-Learning
Collection
Popular
New Arrival
Reading Books
Theme Books
PNU Repository
Newsletter
Research
Research Support Service
Thesis Writing Support
Research Info Guide
Education
Study Info Guide
Textbook
Using Resources
Circulation
Purchase Request
Interlibrary Loan
Provide Fulltext
FRIC
Cooperative Org
Delivery Service
SDI
Off-campus Access
Using Facilities
Opening Hours
User-specific Guidelines
Reading Room
Group Study Room
Media Production Room
PC/Wi-Fi/Mobile
Print/Copy/Scan
Introduction
Mission&Vision
Former Dean
History
Organization
Statistics
Regulation/Operation rules
Direction
Community
Notice & Event
Q&A
FAQ
Phone/E-mail Inquiry
Schedule
My Library
My collection
Borrowed Books
Overdue / Sanction
Reservation
Interlibrary Loan
Education
Change Information
전체메뉴 열기
Please log in
부산대학교 도서관
Search
Total Search
Catalog
e-Article
e-Journal
Database
e-Book
e-Learning
Collection
Popular
New Arrival
Reading Books
Theme Books
PNU Repository
Newsletter
Research
Research Support Service
Thesis Writing Support
Research Info Guide
Education
Study Info Guide
Textbook
Using Resources
Circulation
Purchase Request
Interlibrary Loan
Provide Fulltext
FRIC
Cooperative Org
Delivery Service
SDI
Off-campus Access
Using Facilities
Opening Hours
User-specific Guidelines
Reading Room
Group Study Room
Media Production Room
PC/Wi-Fi/Mobile
Print/Copy/Scan
Introduction
Mission&Vision
Former Dean
History
Organization
Statistics
Regulation/Operation rules
Direction
Community
Notice & Event
Q&A
FAQ
Phone/E-mail Inquiry
Schedule
My Library
My collection
Borrowed Books
Overdue / Sanction
Reservation
Interlibrary Loan
Education
Change Information
clear
Proxy
OFF
KOR
Home
Total Search
e-Article
e-Article
arrow_drop_down
Search All
ISSN
Article Title
Journal Title
Author/Creator
Languages
Advanced Search
Hiragana
Katakana
German, French, Spanish
Greece
Latin
Russian
Roman
Old Hangul
Unit Symbol
Math Symbol
Thai
Mongolian
o
ㅋ
ㄱ
ㅅ
ㅈ
ㅌ
ㄷ
촉
ㄴ
ㅎ
ㅂ
ㅃ
ㅁ
야
ㄹ
와
ㅏ
あ
a
ぁ
か
ka
が
ga
さ
sa
ざ
za
た
ta
だ
da
な
na
は
ha
ば
ba
ぱ
pa
ま
ma
や
ya
ゃ
lya
ら
ra
わ
wa
ゎ
lwa
ん
n
l
い
i
ぃ
き
ki
ぎ
gi
し
si
じ
zi
ち
ti
ぢ
di
に
ni
ひ
hi
び
bi
ぴ
pi
み
mi
り
ri
ㅜ
う
u
ぅ
く
ku
ぐ
gu
す
su
ず
zu
つ
tu
づ
du
っ
ぬ
nu
ふ
hu
ぶ
bu
ぷ
pu
む
mu
ゆ
yu
ゅ
lyu
る
ru
ㅔ
え
e
ぇ
け
ke
げ
ge
せ
se
ぜ
ze
て
te
で
de
ね
ne
へ
he
べ
be
ぺ
pe
め
me
れ
re
ㅗ
お
o
ぉ
こ
ko
ご
go
そ
so
ぞ
zo
と
to
ど
do
の
no
ほ
ho
ぼ
bo
ぽ
po
も
mo
よ
yo
ょ
lyo
ろ
ro
を
wo
o
ㅋ
ㄱ
ㅅ
ㅈ
ㅌ
ㄷ
촉
ㄴ
ㅎ
ㅂ
ㅃ
ㅁ
야
ㄹ
와
ㅏ
ア
a
ァ
カ
ka
ガ
ga
サ
sa
ザ
za
タ
ta
ダ
da
ナ
na
ハ
ha
バ
ba
パ
pa
マ
ma
ヤ
ya
ャ
lya
ラ
ra
ワ
wa
ヮ
lwa
ン
n
l
イ
i
ィ
キ
ki
ギ
gi
シ
si
ジ
zi
チ
ti
ヂ
di
ニ
ni
ヒ
hi
ビ
bi
ピ
pi
ミ
mi
リ
ri
ㅜ
ウ
u
ゥ
ク
ku
グ
gu
ス
su
ズ
zu
ツ
tu
ヅ
du
ッ
ヌ
nu
フ
hu
ブ
bu
プ
pu
ム
mu
ユ
yu
ュ
lyu
ル
ru
ヴ
vu
ㅔ
エ
e
ェ
ケ
ke
ゲ
ge
セ
se
ゼ
ze
テ
te
デ
de
ネ
ne
ヘ
he
ベ
be
ぺ
pe
メ
me
レ
re
ㅗ
オ
o
ォ
コ
ko
ゴ
go
ソ
so
ゾ
zo
ト
to
ド
do
ノ
no
ホ
ho
ボ
bo
ポ
po
モ
mo
ヨ
yo
ョ
lyo
ロ
ro
ヲ
wo
ー
ー
독일어
ä
Ä
ö
Ö
ü
Ü
ß
프랑스어
á
à
Á
À
é
è
É
È
ç
Ç
ê
스페인어
à
á
Á
é
É
í
Í
Ó
ó
Ú
ú
Ñ
ñ
ä
Ä
Α
Β
Γ
Δ
Ε
Ζ
Η
Θ
Ι
Κ
Λ
Μ
Ν
Ξ
Ο
Π
Ρ
Σ
Τ
Υ
Φ
Χ
Ψ
Ω
α
β
γ
δ
ε
ζ
η
θ
ι
κ
λ
μ
ν
ξ
ο
π
ρ
ς
σ
τ
υ
φ
χ
ψ
ω
À
Á
Â
Ã
Ä
Å
Æ
Ç
È
É
Ê
Ë
Ì
Í
Î
Ï
Ð
Ñ
Ò
Ó
Ô
Õ
Ö
Ø
Ù
Ú
Û
Ü
Ý
Þ
ß
à
á
â
ã
ä
å
æ
ç
è
é
ê
ë
ì
í
î
ï
ð
ñ
ò
ó
ô
õ
ö
ø
ù
ú
û
ü
ý
þ
ÿ
А
Б
В
Г
Д
Е
Ё
Ж
З
И
Й
К
Л
М
Н
О
П
Р
С
Т
У
Ф
Х
Ц
Ч
Ш
Щ
Ъ
Ы
Ь
Э
Ю
Я
а
б
в
г
д
е
ё
ж
з
и
й
к
л
м
н
о
п
р
с
т
у
ф
х
ц
ч
ш
щ
ъ
ы
ь
э
ю
я
ⅰ
ⅱ
ⅲ
ⅳ
ⅴ
ⅵ
ⅶ
ⅷ
ⅸ
ⅹ
Ⅰ
Ⅱ
Ⅲ
Ⅳ
Ⅴ
Ⅵ
Ⅶ
Ⅷ
Ⅸ
Ⅹ
ㅥ
ㅦ
ㅧ
ㅨ
ㅩ
ㅪ
ㅫ
ㅬ
ㅭ
ㅮ
ㅯ
ㅰ
ㅱ
ㅲ
ㅳ
ㅴ
ㅵ
ㅶ
ㅷ
ㅸ
ㅹ
ㅺ
ㅻ
ㅼ
ㅽ
ㅾ
ㅿ
ㆀ
ㆁ
ㆂ
ㆃ
ㆄ
ㆅ
ㆆ
ㆇ
ㆈ
ㆉ
ㆊ
ㆋ
ㆌ
ㆍ
ㆎ
′
″
℃
Å
¢
£
¥
¤
℉
‰
$
%
F
₩
㎕
㎖
㎗
ℓ
㎘
㏄
㎣
㎤
㎥
㎦
㎙
㎚
㎛
㎜
㎝
㎞
㎟
㎠
㎡
㎢
㏊
㎍
㎎
㎏
㏏
㎈
㎉
㏈
㎧
㎨
㎰
㎱
㎲
㎳
㎴
㎵
㎶
㎷
㎸
㎹
㎀
㎁
㎂
㎃
㎄
㎺
㎻
㎽
㎾
㎿
㎐
㎑
㎒
㎓
㎔
Ω
㏀
㏁
㎊
㎋
㎌
㏖
㏅
㎭
㎮
㎯
㏛
㎩
㎪
㎫
㎬
㏝
㏐
㏓
㏃
㏉
㏜
㏆
±
×
÷
≠
≤
≥
∞
∴
∠
⊥
⌒
∂
∇
≡
≒
≪
≫
√
∽
∝
∵
∫
∬
∈
∋
⊆
⊇
⊂
⊃
∪
∩
∧
∨
¬
⇒
⇔
∀
∃
∮
∑
∏
+
-
<
=
>
ก
ข
ฃ
ค
ฅ
ฆ
ง
จ
ฉ
ช
ซ
ฌ
ญ
ฎ
ฏ
ฐ
ฑ
ฒ
ณ
ด
ต
ถ
ท
ธ
น
บ
ป
ผ
ฝ
พ
ฟ
ภ
ม
ย
ร
ฤ
ล
ฦ
ว
ศ
ษ
ส
ห
ฬ
อ
ฮ
ฯ
ะ
ั
า
ำ
ิ
ี
ึ
ื
ุ
ู
ฺ
฿
เ
แ
โ
ใ
ไ
ๅ
ๆ
็
่
้
๊
๋
์
ํ
๎
๏
᠀
᠁
᠂
᠃
᠄
᠅
᠆
᠇
᠈
᠉
᠊
᠐
᠑
᠒
᠓
᠔
᠕
᠖
᠗
᠘
᠙
ᠠ
ᠡ
ᠢ
ᠣ
ᠤ
ᠥ
ᠦ
ᠧ
ᠨ
ᠩ
ᠪ
ᠫ
ᠬ
ᠭ
ᠮ
ᠯ
ᠰ
ᠱ
ᠲ
ᠳ
ᠴ
ᠵ
ᠶ
ᠷ
ᠸ
ᠹ
ᠺ
ᠻ
ᠼ
ᠽ
ᠾ
ᠿ
ᡀ
ᡁ
ᡂ
ᡃ
ᡄ
ᡅ
ᡆ
ᡇ
ᡈ
ᡉ
ᡊ
ᡋ
ᡌ
ᡍ
ᡎ
ᡏ
Publication date
-
(ex : 2010-2015)
'e-Article'
searched
548
results | List
1~10
Select All
Export
Relevance
arrow_drop_down
Relevance
DateNewest
Date Oldest
10
arrow_drop_down
5
10
20
30
40
50
format_list_bulleted
format_list_bulleted
E-mail
EndNote
RefWorks
Secure Computations on Non-Integer Values
Franz, Martin
Open Access (Europeana)
Find it@PNU
playlist_add_check
View Summary
open_in_browser
Export
E-mail
EndNote
RefWorks
PolicyLR: A Logic Representation For Privacy Policies
Report
Hooda, Ashish
;
Khandelwal, Rishabh
;
Chalasani, Prasad
;
Fawaz, Kassem
;
Jha, Somesh
Open Access (Arxiv)
Find it@PNU
playlist_add_check
View Summary
open_in_browser
Export
E-mail
EndNote
RefWorks
MALADE: Orchestration of LLM-powered Agents with Retrieval Augmented Generation for Pharmacovigilance
Report
Choi, Jihye
;
Palumbo, Nils
;
Chalasani, Prasad
;
Engelhard, Matthew M.
;
Jha, Somesh
;
Kumar, Anivarya
;
Page, David
Open Access (Arxiv)
Find it@PNU
playlist_add_check
View Summary
open_in_browser
Export
E-mail
EndNote
RefWorks
Mechanistically Interpreting a Transformer-based 2-SAT Solver: An Axiomatic Approach
Report
Palumbo, Nils
;
Mangal, Ravi
;
Wang, Zifan
;
Vijayakumar, Saranya
;
Pasareanu, Corina S.
;
Jha, Somesh
Open Access (Arxiv)
Find it@PNU
playlist_add_check
View Summary
open_in_browser
Export
E-mail
EndNote
RefWorks
D4: Detection of Adversarial Diffusion Deepfakes Using Disjoint Ensembles
Conference
Hooda, Ashish
;
Mangaokar, Neal
;
Feng, Ryan
;
Fawaz, Kassem
;
Jha, Somesh
;
Prakash, Atul
2024 IEEE/CVF Winter Conference on Applications of Computer Vision (WACV) WACV Applications of Computer Vision (WACV), 2024 IEEE/CVF Winter Conference on. :3800-3810 Jan, 2024
Full Text (IEEE)
Find it@PNU
playlist_add_check
View Summary
open_in_browser
Export
E-mail
EndNote
RefWorks
Securing the Future of GenAI: Policy and Technology
Report
Christodorescu, Mihai
;
Craven, Ryan
;
Feizi, Soheil
;
Gong, Neil
;
Hoffmann, Mia
;
Jha, Somesh
;
Jiang, Zhengyuan
;
Kamarposhti, Mehrdad Saberi
;
Mitchell, John
;
Newman, Jessica
;
Probasco, Emelia
;
Qi, Yanjun
;
Shams, Khawaja
;
Turek, Matthew
Open Access (Arxiv)
Find it@PNU
playlist_add_check
View Summary
open_in_browser
Export
E-mail
EndNote
RefWorks
A New Era in LLM Security: Exploring Security Concerns in Real-World LLM-based Systems
Report
Wu, Fangzhou
;
Zhang, Ning
;
Jha, Somesh
;
McDaniel, Patrick
;
Xiao, Chaowei
Open Access (Arxiv)
Find it@PNU
playlist_add_check
View Summary
open_in_browser
Export
E-mail
EndNote
RefWorks
PRP: Propagating Universal Perturbations to Attack Large Language Model Guard-Rails
Report
Mangaokar, Neal
;
Hooda, Ashish
;
Choi, Jihye
;
Chandrashekaran, Shreyas
;
Fawaz, Kassem
;
Jha, Somesh
;
Prakash, Atul
Open Access (Arxiv)
Find it@PNU
playlist_add_check
View Summary
open_in_browser
Export
E-mail
EndNote
RefWorks
Do Large Code Models Understand Programming Concepts? A Black-box Approach
Report
Hooda, Ashish
;
Christodorescu, Mihai
;
Allamanis, Miltiadis
;
Wilson, Aaron
;
Fawaz, Kassem
;
Jha, Somesh
Open Access (Arxiv)
Find it@PNU
playlist_add_check
View Summary
open_in_browser
Export
E-mail
EndNote
RefWorks
ShadowNet: A Secure and Efficient On-device Model Inference System for Convolutional Neural Networks
Conference
Sun, Zhichuang
;
Sun, Ruimin
;
Liu, Changming
;
Chowdhury, Amrita Roy
;
Lu, Long
;
Jha, Somesh
2023 IEEE Symposium on Security and Privacy (SP) SP Security and Privacy (SP), 2023 IEEE Symposium on. :1596-1612 May, 2023
Full Text (IEEE)
Find it@PNU
playlist_add_check
View Summary
open_in_browser
Export
E-mail
EndNote
RefWorks
1
2
3
4
…
17
18
19
20
Next
Refining the search results
arrow_forward
Facets
[AR] Jha, Somesh
clear
Publication year
-
Refine
Database provider
OAIster
(112)
Complementary Index
(107)
arXiv
(101)
ACM Full-Text Collection
(55)
Supplemental Index
(33)
IEEE Xplore Digital Library
(32)
MathSciNet via EBSCOhost
(27)
Science Citation Index Expanded
(20)
Business Source Complete
(8)
Gale Academic OneFile
(8)
USPTO Patent Applications
(8)
Springer Nature Journals
(7)
Academic Search Complete
(6)
Scopus®
(6)
Gale General OneFile
(5)
ScienceDirect
(4)
eScholarship
(4)
USPTO Patent Grants
(4)
SwePub
(1)
Europeana
(1)
Social Sciences Citation Index
(1)
Journals@OVID
(1)
Communication & Mass Media Complete
(1)
GOBI E-books
(1)
add
remove
More
zoom_in
Refine
Title
analysis techniques for information security
(25)
malware detection
(13)
acm transactions on programming languages & systems
(8)
ieee transactions on software engineering
(8)
formal methods in system design
(7)
computer aided verification
(5)
ieee communications magazine
(5)
review of derivatives research
(5)
acm sigplan notices
(4)
formal methods in system design: an international journal
(4)
ieee transactions on dependable and secure computing
(4)
acm transactions on internet technology
(3)
computers & security
(3)
journal in computer virology
(3)
journal of computer security
(3)
journal of the acm
(3)
2008 ieee symposium on security and privacy (sp 2008), security and privacy, 2008. sp 2008. ieee symposium on
(2)
2020 ieee symposium on security and privacy (sp), security and privacy (sp), 2020 ieee symposium on
(2)
2022 ieee 7th european symposium on security and privacy (euros&p), security and privacy (euros&p), 2022 ieee 7th european symposium on, eurosp
(2)
acm sigcomm computer communication review
(2)
ieee transactions on dependable and secure computing, dependable and secure computing, ieee transactions on, ieee trans. dependable and secure comput.
(2)
ieee transactions on information forensics and security
(2)
mathematical finance
(2)
operations research letters
(2)
proceedings of the 12th acm conference on computer and communications security
(2)
proceedings of the 13th acm conference on computer and communications security
(2)
proceedings of the 2014 acm sigsac conference on computer and communications security
(2)
proceedings of the 2017 acm on asia conference on computer and communications security
(2)
proceedings of the 23rd international conference on software engineering
(2)
proceedings of the international conference on autonomous agents
(2)
proceedings of the joint meeting of the twenty-third eacsl annual conference on computer science logic (csl) and the twenty-ninth annual acm/ieee symposium on logic in computer science (lics)
(2)
proceedings of the second international conference on autonomous agents
(2)
proceedings of the vldb endowment
(2)
science of computer programming
(2)
2010 19th international conference on parallel architectures and compilation techniques (pact), parallel architectures and compilation techniques (pact), 2010 19th international conference on
(1)
2010 ieee symposium on security and privacy, security and privacy (sp), 2010 ieee symposium on
(1)
2013 8th international conference on malicious and unwanted software: "the americas" (malware), malicious and unwanted software: "the americas" (malware), 2013 8th international conference on
(1)
2013 design, automation & test in europe conference & exhibition (date), design, automation & test in europe conference & exhibition (date), 2013
(1)
2013 ieee symposium on security and privacy, security and privacy (sp), 2013 ieee symposium on
(1)
2015 ieee/acm 37th ieee international conference on software engineering, software engineering (icse), 2015 ieee/acm 37th ieee international conference on
(1)
2016 ieee 29th computer security foundations symposium (csf), computer security foundations symposium (csf), 2016 ieee 29th
(1)
2016 ieee european symposium on security and privacy (euros&p), security and privacy (euros&p), 2016 ieee european symposium on
(1)
2016 ieee symposium on security and privacy (sp), security and privacy (sp), 2016 ieee symposium on
(1)
2017 12th international conference on malicious and unwanted software (malware), malicious and unwanted software (malware), 2017 12th international conference on
(1)
2018 ieee 31st computer security foundations symposium (csf), computer security foundations symposium (csf), 2018 ieee 31st, csf
(1)
2018 ieee symposium on security and privacy (sp), security and privacy (sp), 2018 ieee symposium on, sp
(1)
acm transactions on cyber-physical systems
(1)
computer hardware description languages and their applications
(1)
computers and mathematics with applications
(1)
ieee design and test
(1)
add
remove
More
zoom_in
Refine
Publisher
ieee
(77)
association for computing machinery
(50)
springer nature
(38)
assoc computing machinery
(11)
acm
(7)
springer, berlin
(7)
escholarship, university of california
(6)
elsevier b.v.
(5)
ieee computer soc
(5)
springer
(5)
springer, heidelberg
(5)
association for computing machinery, inc.
(3)
ieee-inst electrical electronics engineers inc
(3)
ios press
(3)
springer us
(3)
elsevier ltd
(2)
institute of electrical and electronics engineers, inc.
(2)
kluwer academic publishers
(2)
springer, cham
(2)
springer-verlag
(2)
wiley-blackwell
(2)
acm, new york
(1)
elsevier advanced technology
(1)
hindawi limited
(1)
ieee comput. soc. press, los alamitos, ca
(1)
linkopings universitet, programvara och system
(1)
linkopings universitet, tekniska fakulteten
(1)
mit press, cambridge, ma
(1)
oxford university press / usa
(1)
proceedings of machine learning research pmlr, [place of publication not identified]
(1)
pub4722
(1)
publ by elsevier science publishers b.v.
(1)
robert bosch gmbh, germany
(1)
schloss dagstuhl - leibniz-zentrum fur informatik
(1)
siam, philadelphia, pa
(1)
univ north carolina chapel hill, nc 27599 usa
(1)
univ wisconsin, wi 53706 usa
(1)
vldb endowment
(1)
add
remove
More
zoom_in
Refine
자료유형(Source Type)
Conference Materials
(152)
Electronic Resources
(112)
Reports
(101)
Academic Journals
(94)
Books
(60)
Reviews
(27)
Magazines
(14)
eBooks
(1)
add
remove
More
zoom_in
Refine
Subject
computer science - machine learning
(67)
computer science - cryptography and security
(58)
statistics - machine learning
(33)
computing and processing
(30)
computer science
(24)
computer communication networks
(19)
data encryption
(17)
data structures
(17)
privacy
(16)
security
(16)
communication, networking and broadcast technologies
(14)
machine learning
(14)
coding and information theory
(13)
computer systems organization and communication networks
(13)
data structures, cryptology and information theory
(13)
computer science - artificial intelligence
(12)
components, circuits, devices and systems
(11)
training
(11)
verification
(10)
computer science - computer vision and pattern recognition
(9)
malware
(9)
algorithms
(8)
computer security
(8)
computer software
(8)
computer science - databases
(7)
computer science - learning
(7)
computer science - programming languages
(7)
detectors
(7)
neural networks
(7)
robustness
(7)
software engineering
(7)
computational modeling
(6)
intrusion detection
(6)
operating systems
(6)
regular expressions
(6)
software verification
(6)
specification
(6)
technical specifications
(6)
adversarial machine learning
(5)
capabilities
(5)
computer science - computation and language
(5)
computer science - software engineering
(5)
crowdsourcing
(5)
differential privacy
(5)
human computation
(5)
languages
(5)
local differential privacy
(5)
management
(5)
perturbation methods
(5)
static analysis
(5)
add
remove
More
zoom_in
Refine
Language
english
(284)
add
remove
More
zoom_in
Refine
Send an e-mail
이메일
Cancel
Confirm
Close pop-up
폴더 추가
Close pop-up