Currently viewing:
-
A logic of hypothetical conjunction
Collinson, M.
Journal of Logic and Computation, vol. 29, no. 6, pp. 975–1009
Contributions to Journals: Articles
- Digital Object Identifier
-
https://doi.org/10.1093/logcom/exz018
- Open Access
-
http://aura.abdn.ac.uk/bitstream/2164/15377/1/cck.pdf
-
OAuthGuard: Protecting User Security and Privacy with OAuth 2.0 and OpenID Connect
Li, W., Mitchell, C., Chen, T.
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings
- Digital Object Identifier
-
https://doi.org/10.1145/3338500.3360331
- Open Access
-
http://aura.abdn.ac.uk/bitstream/2164/18957/1/ogpusa.pdf
-
Underwater acoustic sensor networks node localization based on compressive sensing in water hydrology
Wang, S., Lin, Y., Tao, H., Sharma, P. K., Wang, J.
Sensors (Switzerland), vol. 19, no. 20, 4552
Contributions to Journals: Articles
- Digital Object Identifier
-
https://doi.org/10.3390/s19204552
- Open Access
-
http://aura.abdn.ac.uk/bitstream/2164/14919/1/Wang_etal_sensors_VOR.pdf
- Additional Links
-
View publication in Scopus
-
Automated Game-Theoretic Verification of Security Systems
Mu, C.
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings
- Digital Object Identifier
-
https://doi.org/10.1007/978-3-030-30281-8_14
- Open Access
-
http://aura.abdn.ac.uk/bitstream/2164/19837/1/main_nash.pdf
-
Towards comprehensive dependability-driven resource use and message log-analysis for HPC systems diagnosis
Chuah, T., Jhumka, A., Alt, S., Balouek-Thomert, D., Browne, J., Parashar, M.
Journal of Parallel and Distributed Computing (JPDC), vol. 132, pp. 95-112
Contributions to Journals: Articles
- Digital Object Identifier
-
https://doi.org/10.1016/j.jpdc.2019.05.013
- Additional Links
-
http://dx.doi.org/10.1016/j.jpdc.2019.05.013
-
CCTV-based multi-factor authentication system
Kwon, B. W., Sharma, P. K., Park, J. H.
Journal of Information Processing Systems, vol. 15, no. 4, pp. 904-919
Contributions to Journals: Articles
- Digital Object Identifier
-
https://doi.org/10.3745/JIPS.03.0127
- Additional Links
-
View publication in Scopus
-
Emerging technologies for sustainable smart city network security: Issues, challenges, and countermeasures
Jo, J. H., Sharma, P. K., Sicato, J. C. S., Park, J. H.
Journal of Information Processing Systems, vol. 15, no. 4, pp. 765-784
Contributions to Journals: Articles
- Digital Object Identifier
-
https://doi.org/10.3745/JIPS.03.0124
- Additional Links
-
View publication in Scopus
-
Location Tracking Using Smartphone Accelerometer and Magnetometer Traces
Nguyen, D. K. A., Akram, R. N., Markantonakis, K., Luo, Z., Watkins, C.
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings
- Digital Object Identifier
-
https://doi.org/10.1145/3339252.3340518
-
A blockchain-based decentralized efficient investigation framework for IoT digital forensics
Ryu, J. H., Sharma, P. K., Jo, J. H., Park, J. H.
Journal of Supercomputing, vol. 75, no. 8, pp. 4372-4387
Contributions to Journals: Articles
- Digital Object Identifier
-
https://doi.org/10.1007/s11227-019-02779-9
- Additional Links
-
View publication in Scopus
-
A comprehensive study on APT attacks and countermeasures for future networks and communications: challenges and solutions
Singh, S., Sharma, P. K., Moon, S. Y., Moon, D., Park, J. H.
Journal of Supercomputing, vol. 75, no. 8, pp. 4543-4574
Contributions to Journals: Articles
- Digital Object Identifier
-
https://doi.org/10.1007/s11227-016-1850-4
- Additional Links
-
View publication in Scopus
