Zobrazeno 1 - 10
of 28
pro vyhledávání: '"Wontae Choi"'
Autor:
Jungwook Suh, Wontae Choi
Publikováno v:
IEEE Robotics and Automation Letters. 8:3756-3763
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c58b3d335f61e2aed475d00128227bd0
https://doi.org/10.1109/lra.2023.3264716
https://doi.org/10.1109/lra.2023.3264716
Publikováno v:
Journal of Computer Languages. 51:1-14
This paper focuses on scalable static analysis techniques for finding information leaks in Android apps. Finding such leaks scalably is challenging because Android apps have on average over 100 invocations of sensitive APIs, yielding a massive multi-
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::402f2676cbead6d6773456a4edf0164f
https://doi.org/10.1016/j.jvlc.2018.10.005
https://doi.org/10.1016/j.jvlc.2018.10.005
Publikováno v:
Nanoscale. 13(19)
With the increased number of small electronics and demand for their energy source, renewable energy sources have received much attention. Above all, a triboelectric nanogenerator (TENG) based on the combination of contact electrification and electros
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pmid________::9a8eee8e4028313d97d00628598cd523
https://pubmed.ncbi.nlm.nih.gov/33950055
https://pubmed.ncbi.nlm.nih.gov/33950055
Publikováno v:
Nanoscale.
With the increased number of small electronics and demand for their energy source, renewable energy sources have received much attention. Above all, a triboelectric nanogenerator (TENG) based on the combination of contact electrification and electros
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9d02b6bbb8cad7dce844e7f85aa06d03
https://doi.org/10.1039/d1nr01517f
https://doi.org/10.1039/d1nr01517f
Publikováno v:
ACSAC
Automatic exploit generation (AEG) is the challenge of determining the exploitability of a given vulnerability by exploring all possible execution paths that can result from triggering the vulnerability. Since typical AEG implementations might need t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ec8937a3bba0589b798e0b1cc5a2740e
https://doi.org/10.1145/3427228.3427568
https://doi.org/10.1145/3427228.3427568
Autor:
Kyoungsik Na, WonTae Choi
Publikováno v:
Journal of Korean Library and Information Science Society. 48:281-302
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::13bf02a72a4f29c2bb0bf59953f8d383
https://doi.org/10.16981/kliss.48.3.201709.281
https://doi.org/10.16981/kliss.48.3.201709.281
Publikováno v:
Journal of the Korea Society of Environmental Restoration Technology. 19:101-110
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::957b5fd7a6831c5a7873ebe7e6cfebaf
https://doi.org/10.13087/kosert.2016.19.6.101
https://doi.org/10.13087/kosert.2016.19.6.101
Publikováno v:
ICSE
In recent years, several automated GUI testing techniques for Android apps have been proposed. These tools have been shown to be effective in achieving good test coverage and in finding bugs without human intervention. Being automated, these tools ty
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ed5ab88f99e23cd579b92f6c3a86f341
https://doi.org/10.1145/3180155.3180173
https://doi.org/10.1145/3180155.3180173
Publikováno v:
ESEC/SIGSOFT FSE
Dynamic symbolic execution (DSE) has been proposed to effectively generate test inputs for real-world programs. Unfortunately, DSE techniques do not scale well for large realistic programs, because often the number of feasible execution paths of a pr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::61b3c04d0b7c0fc9758a978a435d9ae2
https://doi.org/10.1145/2786805.2786830
https://doi.org/10.1145/2786805.2786830
Publikováno v:
Static Analysis ISBN: 9783662482872
SAS
SAS
We propose a static type system for a significant subset of JavaScript, dubbed SJS, with the goal of ensuring that objects have a statically known layout at the allocation time, which in turn can enable an ahead-of-time (AOT) compiler to generate eff
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b01895b62727e3e22195cc13ab867b6d
https://doi.org/10.1007/978-3-662-48288-9_11
https://doi.org/10.1007/978-3-662-48288-9_11
