Faculty of Computer Science and Biomedical Engineering (7000)

  • 8010

    Inffeldgasse 10 Graz

    Austria

Research Output 1970 2019

Filter
Conference contribution
2019

GigaPan Image-Based 3D Reconstruction for Engineering Geological Investigations

Lee, H., Mostegel, C., Fraundorfer, F. & Kieffer, D. S. 2019 IAEG/AEG Annual Meeting Proceedings, San Francisco, California, 2018. Springer International Publishing AG , Vol. 6, p. 207-215

Research output: Chapter in Book/Report/Conference proceedingConference contribution

JavaScript Template Attacks: Automatically Inferring Host Information for Targeted Exploits

Schwarz, M., Lackner, F. & Gruss, D. 24 Feb 2019 NDSS.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Spectre Attacks: Exploiting Speculative Execution

Kocher, P., Horn, J., Fogh, A., Genkin, D., Gruss, D., Haas, W., Hamburg, M., Lipp, M., Mangard, S., Prescher, T., Schwarz, M. & Yarom, Y. 20 May 2019 40th IEEE Symposium on Security and Privacy.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TIMBER-V: Tag-Isolated Memory Bringing Fine-grained Enclaves to RISC-V

Weiser, S., Werner, M., Brasser, F., Malenko, M., Mangard, S. & Sadeghi, A-R. Feb 2019 (Accepted/In press) Network and Distributed System Security Symposium (NDSS) 2019.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2018

3D PixMix: Image-Inpainting in 3D Environments

Mori, S., Herling, J., Broll, W., Kawai, N., Saito, H., Kalkofen, D. & Schmalstieg, D. 2018 Proc. IEEE Internatational Symposium on Mixed and Augmented Reality (ISMAR).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3D Pose Estimation and 3D Model Retrieval for Objects in the Wild

Grabner, A., Roth, P. M. & Lepetit, V. 2018 Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition. 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
Geometry

Acceleration of arterial spin labeling data using spatio-temporal total generalized variation (TGV) reconstruction

Spann, S. M., Aigner, C. S., Schlögl, M., Lesch, A. J., Bredies, K., Roppele, S., Pinter, D., Pirpamer, L. & Stollberger, R. 2018 Proc. Intl. Soc. Mag. Reson. Med. 26.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A Counting Semantics for Monitoring LTL Specifications over Finite Traces

Bartocci, E., Bloem, R., Nickovic, D. & Röck, F. 2018 Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I. Vol. 1, p. 547-564 18 p. (Lecture Notes in Computer Science; vol. 10980)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access

Active safety effectiveness assessment by combination of traffic flow simulation and crash-simulation

Kolk, H., Tomasch, E., Haberl, M., Fellendorf, M., Moser, A., Rüther, M. & Mohr, L. 2018 (In preparation) International Conference "ESAR - Expert Symposium on Accident Research".

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Flow simulation
Advanced driver assistance systems
Sensors
Accidents
Brakes

A data mining strategy for the search and classification of gene expression data in cancer

Cuder, G. & Baumgartner, C. 2018 ÖGBMT Proceedings 2018.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A Driving License for Intelligent Systems

Kandlhofer, M. & Steinbauer, G. 2018 AAAI Conference on Artificial Intelligence, Symposium on Educational Advances in Artificial Intelligence. New Orleans, USA

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Agile Challenges and Chances for Open Source: Lessons Learned from Managing a FLOSS Project

Müller, M. 2018 (Accepted/In press) 2018 IEEE CONFERENCE ON OPEN SYSTEMS (ICOS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Agile Smart-device based Multi-factor Authentication for Modern Identity Management Systems

Lenz, T. & Krnjic, V. 2018 Proceedings of the 14th International Conference on Web Information Systems and Technologies. Vol. 1, p. 113-124

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access

A Hierarchical Evaluation Scheme for Pilot-based Research Projects

Zefferer, T. 2018 Proceedings of the 14th International Conference on Web Information Systems and Technologies. Escalona, M. J., Domínguez Mayo, F., Majchrzak, T. & Monfort, V. (eds.). SciTePress, p. 356-363

Research output: Chapter in Book/Report/Conference proceedingConference contribution

​An Autonomous Vehicle for Parcel Delivery in Urban Areas

Buchegger, A., Lassnig, K., Loigge, S., Mühlbacher, C. & Steinbauer, G. 7 Nov 2018 (Accepted/In press) ​The 21st IEEE International Conference on Intelligent Transportation Systems. IEEE Xplore

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A New E-Book Developing Paradigm

Scerbakov, N., Kappe, F. & Pak, V. Jul 2018 Proceedings of 10th International Conference on Education and New Learning Technologies. Palma, Mallorca, SPAIN, p. 7-12 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

E-learning
Containers
Communication

An Intent-Based Automated Traffic Light for Pedestrians

Ertler, C., Possegger, H., Opitz, M. & Bischof, H. 2018 (Accepted/In press) IEEE International Conference on Advanced Video and Signal-Based Surveillance (AVSS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Another Flip in the Wall of Rowhammer Defenses

Gruss, D., Lipp, M., Schwarz, M., Genkin, D., Juffinger, J., O'Connell, S., Schoechl, W. & Yarom, Y. 31 Jan 2018 39th IEEE Symposium on Security and Privacy 2018.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File

A Security Analysis of FirstCoin

Marsalek, A., Kollmann, C. & Zefferer, T. 2018 ICT Systems Security and Privacy Protection. Janczewski, L. J. & Kutylowski, M. (eds.). Cham: Springer International Publishing AG , p. 127-140 14 p. (IFIP Advances in Information and Communication Technology; vol. 529)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Electronic money

Automata Learning for Symbolic Execution

Aichernig, B., Bloem, R., Ebrahimi, M., Tappler, M. & Winter, J. 2018 FMCAD'18: Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design, FMCAD 2018. Bjørner, N. & Gurfinkel, A. (eds.). IEEE CS, p. 130 - 138 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Testing

Automated Binary Analysis on iOS - A Case Study on Cryptographic Misuse in iOS Applications

Feichtner, J., Missmann, D. & Spreitzer, R. 2018 Proceedings of the 11th ACM Conference on Security & Privacy in Wireless and Mobile Networks. New York: Association of Computing Machinery, p. 236-247 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
Application programming interfaces (API)
Cryptography
Computer operating systems
Inspection
Defects

Automated Detection, Exploitation, and Elimination of Double-Fetch Bugs using Modern CPU Features

Schwarz, M., Gruss, D., Lipp, M., Maurice, C., Schuster, T., Fogh, A. & Mangard, S. 4 Jun 2018 AsiaCCS' 18, Proceedings of the 2018 on Asia Conference on Computer and Communications Security . New York, NY: Association of Computing Machinery, p. 587-600

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Best of two worlds: Secure cloud federations meet eIDAS

Zefferer, T., Ziegler, D. & Reiter, A. 10 May 2018 2017 12th International Conference for Internet Technology and Secured Transactions (ICITST). p. 396-401 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Block-Chain Based Grading Students Assignments

Scerbakov, A., Kappe, F. & Scerbakov, N. Nov 2018 Proceedings of 11th International Conference of Education, Research and Innovation. Seville: International Academy of Technology, Education and Development , p. 8773-8778 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Students
Data privacy
Security of data
Data structures

Bloom Filter Encryption and Applications to Efficient Forward-Secret 0-RTT Key Exchange

Derler, D., Jager, T., Slamanig, D. & Striecks, C. 2018 Advances in Cryptology - EUROCRYPT 2018 - 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Bounded Synthesis of Register Transducers

Khalimov, A., Maderbacher, B. & Bloem, R. 2018 Automated Technology for Verification and Analysis : 16th International Symposium, ATVA 2018. Lahiri, S. & Wang, C. (eds.). p. 494-510 17 p. ( Lecture Notes in Computer Science; vol. 11138)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Camera-based vehicle velocity estimation from monocular video

Kampelmühler, M. D., Müller, M. G. & Feichtenhofer, C. 5 Feb 2018 Computer Vision Winter Workshop (CVWW), 2018.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

"Course Diary" - An Innovative E-Learning Scenario

Kappe, F. & Scerbakov, N. 2018 Proceedings of 12th International Technology, Education and Development Conference. Valencia, SPAIN, p. 2823-2828 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

E-learning
Students
Curricula
Teaching
Internet

Cryptanalysis of MORUS

Ashur, T., Eichlseder, M., Lauridsen, M., Leurent, G., Minaud, B., Rotella, Y. & Viguier, B. 2018 Advances in Cryptology – ASIACRYPT 2018. Springer, p. 35-64 (Lecture Notes in Computer Science; vol. 11273)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File

Data Analytics for Industrial Process Improvement - A Vision Paper

Thalmann, S., Mangler, J., Schreck, T., Huemer, C., Streit, M., Pauker, F., Weichhart, G., Schulte, S., Kittl, C., Pollak, C., Vukovic, M., Kappel, G., Gashi, M., Rinderle-Ma, S., Suschnigg, J., Jekic, N. & Lindstaedt, S. 1 Jul 2018 IEEE Conf. on Business Informatics, Workshop on Business Analytics in Practice and Applied Research. Vol. 02, p. 92-96 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

DATA - Differential Address Trace Analysis: Finding Address-based Side-Channels in Binaries

Weiser, S., Zankl, A., Spreitzer, R., Miller, K., Mangard, S. & Sigl, G. 2018 (Accepted/In press) 27th USENIX Security Symposium . USENIX Association

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Deep 2.5D Vehicle Classification with Sparse SfM Depth Prior for Automated Toll Systems

Waltner, G., Maurer, M., Holzmann, T., Ruprecht, P., Opitz, M., Possegger, H., Fraundorfer, F. & Bischof, H. 2018 (Accepted/In press) Proceedings of the 21st IEEE International Conference on Intelligent Transportation Systems (ITSC). IEEE Xplore

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Denoising of functional Arterial Spin Labeling (fASL) perfusion data using infimal convolution of total generalized variation functionals (ICTGV)

Spann, S. M., Schlögl, M., Aigner, C. S., Koschutnig, K., Holler, M., Bredies, K. & Stollberger, R. 2018 Proc. Intl. Soc. Mag. Reson. Med. 26.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

EduRobot Taxonomy: A Provisional Schema for Classifying Educational Robots

Catlin, D., Kandlhofer, M. & Holmquist, S. 2018 Robotics in Education 2018.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

EduRobot Taxonomy and Papert’s Paradigm

Catlin, D., Kandlhofer, M., Holmquist, S., Csizmadia, A. P., Angel-Fernandez, J. & Cabibihan, J-J. 2018 Constructionism 2018.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Efficient 3D Pose Estimation and 3D Model Retrieval

Grabner, A., Roth, P. M. & Lepetit, V. 2018 Proceedings of the 42nd OAGM Workshop. Welk, M., Urschler, M. & Roth, P. M. (eds.). Verlag der Technischen Universität Graz, 1 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File

Efficient Physics-Based Implementation for Realistic Hand-Object Interaction in Virtual Reality

Höll, M., Oberweger, M., Arth, C. & Lepetit, V. 2018 IEEE Conference on Virtual Reality and 3D User Interfaces.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Enabling Teenagers to Create and Share Apps

Müller, M., Schindler, C., Luhana, K. K. & Slany, W. Oct 2018 (Accepted/In press) 2018 IEEE CONFERENCE ON OPEN SYSTEMS (ICOS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Estimating cardiac intensive care patients’ responsiveness to late conservative fluid management using systems analysis

Bergmoser, K. M., Langthaler, S., Lassnig, A., Horn, M. & Baumgartner, C. Jun 2018 IFMBE Proceedings. Prague: Springer, Vol. 68, p. 635-638 (IFMBE Proceedings; vol. 68)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Expansion-Based QBF Solving Without Recursion

Bloem, R., Braud-Santoni, N., Hadzic, V., Egly, U., Lonsing, F. & Seidl, M. 2018 fmcad.18: Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design (FMCAD 2018). Bjørner , N. & Gurfinkel, A. (eds.). p. 40-49

Research output: Chapter in Book/Report/Conference proceedingConference contribution

faimGraph: High Performance Management of Fully-Dynamic Graphs under tight Memory Constraints on the GPU

Winter, M., Mlakar, D., Zayer, R., Seidel, H-P. & Steinberger, M. 2018 High Performance Computing, Networking, Storage and Analysis (SC’18), 2018.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fault Attacks on Nonce-based Authenticated Encryption: Application to Keyak and Ketje

Dobraunig, C. E., Mangard, S., Mendel, F. & Primas, R. 2018 (Accepted/In press) Selected Areas in Cryptography – SAC 2018. Springer, 21 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Feature Mapping for Learning Fast and Accurate 3D Pose Inference from Synthetic Images

Rad, M., Oberweger, M. & Lepetit, V. 2018 Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Finding traces of self-regulated learning in activity streams

Cicchinelli, A. I., Veas, E. E., Pardo, A., Pammer-Schindler, V., Fessl, A., Souta Barreiros, C. A. & Lindstaedt, S. Mar 2018 Proceeding LAK '18 Proceedings of the 8th International Conference on Learning Analytics and Knowledge. Association of Computing Machinery, p. 191 200 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Students

Formal Verification of Masked Hardware Implementations in the Presence of Glitches

Bloem, R., Groß, H., Iusupov, R., Könighofer, B., Mangard, S. & Winter, J. 2018 EUROCRYPT . Springer, Vol. 10821, p. 321-353 33 p. (Lecture Notes in Computer Science)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File

From Refugee to Programmer? An Action-Based Learning Approach for Teaching Coding to Refugees

Wolf, D. & Ebner, M. 5 Jul 2018 Proceedings of EdMedia: World Conference on Educational Media and Technology . Amsterdam, Netherlands: Association for the Advancement of Computing in Education, p. 2042-2056

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fully Convolutional Mandible Segmentation on a valid Ground-Truth Dataset

Egger, J., Pfarrkirchner, B., Gsaxner, C., Lydia, L., Schmalstieg, D. & Wallner, J. 2018 Proc. IEEE Engineering in Medicine and Biology Conference (EMBC).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Gamification in MOOCs: A Review of the State of the Art

Khalil, M., Wong, J., de Koning, B., Ebner, M. & Paas, F. 15 Apr 2018 2018 IEEE Global Engineering Education Conference. Santa Cruz de Tenerife, Canary Islands, Spain, p. 1635-1644

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Generative Adversarial Networks to Synthetically Augment Data for Deep Learning based Image Segmentation

Neff, T., Payer, C., Štern, D. & Urschler, M. May 2018 Proceedings of the OAGM Workshop 2018: Medical Image Analysis. Welk, M., Roth, P. M. & Urschler, M. (eds.). Verlag der Technischen Universität Graz, p. 22-29 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access

Generic Double-Authentication Preventing Signatures and a Post-quantum Instantiation

Derler, D., Ramacher, S. & Slamanig, D. 2018 Provable Security - 12th International Conference, ProvSec 2018, Jeju, South Korea, October 25-28, 2018, Proceedings. Springer Verlag, p. 258-276 (Lecture Notes in Computer Science; vol. 11192)

Research output: Chapter in Book/Report/Conference proceedingConference contribution