Publications

Shows all publications by members of the Institute of Computer Engineering.

Currently viewing all publications chronologically - back to overwiew...

F. Huemer, A. Steininger: Novel Approaches for Efficient Delay-Insensitive Communication
Journal of Low Power Electronics and Applications, 9 (2019); 41 pages
bib details doi

M. Jung, J. Park, J. Blieberger, B. Burgstaller: Parallel Construction of Simultaneous Deterministic Finite Automata on Shared-memory Multicores
The 12th Annual Meeting of the Asian Association for Algorithms and Computation, Seoul, South Korea
bib details

A. Kinali, C. Lenzen, M. Perner: Fault-tolerant High-Performance Clock Distribution
TUW-278925, 2019
bib details pdf

M. Di Angelo, C. Sack, G. Salzer: SoK: Development of Secure Smart Contracts - Lessons from a Graduate Course
3rd Workshop on Trusted Smart Contracts, Financial Cryptography 2019, Springer, 2019; 15 pages
bib details pdf

M. Di Angelo, A. Soare, G. Salzer: Smart Contracts in View of the Civil Code
SAC '19: Symposium on Applied Computing Proceedings, ACM Press, 2019, ISBN: 978-1-4503-5933-7
bib details doi pdf

M. Di Angelo, G. Salzer: A Survey of Tools for Analyzing Ethereum Smart Contracts
2019 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPCON), IEEE, 2019, ISBN: 978-1-7281-1264-0; 10 pages
bib details doi pdf

A. Ismail, H. Truong, W. Kastner: Manufacturing Process Data Analysis Pipelines: A Requirements Analysis and Survey
Journal of Big Data, 6 (2019), p. 1 - 26
bib details doi

D. Ratasich, F. Khalid, F. Geissler, R. Grosu, M. Shafique, E. Bartocci: A Roadmap Toward the Resilient Internet of Things for Cyber-Physical Systems
IEEE Access, 7 (2019); 24 pages
bib details doi pdf

L. Prosperi, R. Kuznets, U. Schmid, K. Fruzsa, L. Gréaux: Knowledge in Byzantine Message-Passing Systems I: Framework and the Causal Cone
Institut für Technische Informatik, TUW-260549, 2019
bib details pdf

M. Kainer: More Parallelism in Single-Source Shortest Path Algorithms: Simulation and Implementation (Master's Thesis)
reviewer: J. Träff; Institute of Computer Engineering, Research Division of Parallel Computing, 2018; oral examination: 2019-01-24
bib details

S. Hunold, A. Carpen-Amarie: Algorithm Selection of MPI Collectives using Machine Learning Techniques
9th IEEE International Workshop on Performance Modeling, Benchmarking and Simulation of High Performance Computer Systems (PMBS 2018) in conjunction with SC 2018, Dallas, Texas, USA; in: Proceedings of the 2018 IEEE/ACM Performance Modeling, Benchmarking and Simulation of High Performance Computer Systems (PMBS 2018), IEEE, 2018, ISBN: 978-1-7281-0182-8, p. 45 - 50
bib details doi

J. Ren, M. Lindorfer, D. Dubois, A. Rao, D. Choffnes, N. Vallina-Rodriguez: Bug Fixes, Improvements, ... and Privacy Leaks - A Longitudinal Study of PII Leaks Across Android App Versions
Network and Distributed System Security Symposium (NDSS), Internet Society, 2018
bib details doi pdf

V. van der Veen, M. Lindorfer, Y. Fratantonio, H. Padmanabha Pillai, G. Vigna, C. Krügel, H. Bos, K. Razavi: GuardION: Practical Mitigation of DMA-based Rowhammer Attacks on ARM
Conference on Detection of Intrusions and Malware & Vulnerability Assessment (DIMVA), Springer, 2018, ISBN: 978-3-319-93410-5, p. 92 - 113
bib details doi pdf

E. Pan, J. Ren, M. Lindorfer, C. Wilson, D. Choffnes: Panoptispy: Characterizing Audio and Video Exfiltration from Android Applications
Privacy Enhancing Technologies Symposium (PETS), DeGruyter, 4, 2018, p. 33 - 50
bib details doi pdf

D. Öhlinger: Involution Tool
TUW-278633, 2018
bib details pdf

U. Schmid: FWF-Proposal DMAC: Digital Modeling of Asynchronous Integrated Circuits
TUW-278607, 2018
bib details pdf

M. Forsell, J. Roivainen, V. Leppänen, J. Träff: Supporting concurrent memory access in TCF processor architectures
Microprocessors and Microsystems, Volume 63 (2018), p. 226 - 236
bib details doi

H. Mohammed, J. Howell, S. R. Hasan, N. Guo, F. Khalid, O. Elkeelany: Hardware Trojan Based Security Issues in Home Area Network: a Testbed Setup
Midwest Symposium on Circuits and Systems, Windsor, Canada; in: International Midwest Symposium on Circuits and Systems, IEEE, Windsor, canada (2018), p. 1 - 4
bib details

F. Khalid, S. R. Hasan, O. Hasan, F. Awwad: Runtime Hardware Trojan Monitors Through Modeling Burst Mode Communication Using Formal Verification
Integration the VLSI journal, 61 (2018), p. 62 - 76
bib details doi

S. Iqbal, S. Sardar, F. Khalid, O. Hasan: Statistical Model Checking of Relief Supply Location and Distribution in Natural Disaster Management
International Journal of Disaster Risk Reduction, 31 (2018), p. 1043 - 1053
bib details doi

<<   < 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 >   >>