Faculty of Computer Science and Biomedical Engineering (7000)

  • 8010

    Inffeldgasse 10 Graz

    Austria

Research Output 1970 2019

Filter
Conference contribution
2019

Semi-supervised Detector Training with Prototypes for Vehicle Detection

Waltner, G., Opitz, M., Krispel, G., Possegger, H. & Bischof, H., Jun 2019, (Accepted/In press) 2019 IEEE Intelligent Transportation Systems Conference, ITSC 2019. Institute of Electrical and Electronics Engineers, 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

SGXJail: Defeating Enclave Malware via Confinement

Weiser, S., Mayr, L., Schwarz, M. & Gruß, D., Sep 2019, (Accepted/In press) Research in Attacks, Intrusions and Defenses 2019.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Small faults grow up - Verification of error masking robustness in arithmetically encoded programs

Karl, A. F., Schilling, R., Bloem, R. & Mangard, S., 2019, Verification, Model Checking, and Abstract Interpretation - 20th International Conference, VMCAI 2019, Proceedings. Piskac, R. & Enea, C. (eds.). Springer, p. 183-204 22 p. (Lecture Notes in Computer Science; vol. 11388).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Open Access
File
Masking
Fault
Robustness
Flip
Soft Error

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 contributionResearchpeer-review

Tackling Data Inefficiency: Compressing the Bitcoin Blockchain

Marsalek, A., Zefferer, T., Fasllija, E. & Ziegler, D., 2019, (Accepted/In press) 18th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE Trustcom-19).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Internet of things

The Data-Driven Business Value Matrix - A Classification Scheme for Data-Driven Business Models

Breitfuss, G., Fruhwirth, M., Pammer-Schindler, V., Stern, H. & Dennerlein, S. M., 2019, Proceedings of the 32nd Bled e-Conference.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

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 contributionResearchpeer-review

Open Access
File

Unleashing the Full Potential of Blockchain Technology for Security-Sensitive Business Applications

Marsalek, A., Zefferer, T., Kollmann, C. P. & Teufl, P., 2019, (Accepted/In press) IEEE International Conference on Blockchain and Cryptocurrency. IEEE Xplore

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Usability of Policy Authoring tools: A layered approach

Weinhardt, S. & Omolola, O., 2019, ICISSP 2019 - Proceedings of the 5th International Conference on Information Systems Security and Privacy. Mori, P., Camp, O. & Furnell, S. (eds.). Vol. 1. p. 301-308 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Using Particle Filter and Machine Learning for Accuracy Estimation of Robot Localization

Eder, M. J., Reip, M. & Steinbauer, G., 15 Jun 2019, Advances and Trends in Artificial Intelligence. From Theory to Practice: IEA/AIE 2019. Wotawa, F., Friedrich, G., Pill, I., Koitz-Hristov, R. & Ali, M. (eds.). Springer, Cham, p. 700-713 14 p. (Lecture Notes in Computer Science; vol. 11606).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Learning systems
Robots
Mobile robots
Classifiers
2018

3D Object Classification and Parameter Estimation based on Parametric Procedural Models

Getto, R., Fina, K., Jarms, L., Kuijper, A. & Fellner, D., 2018, WSCG 2018. Skala, V. (ed.). University of West Bohemia, (Computer Science Research Notes ; vol. 2801).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

3D PixMix: Image-Inpainting in 3D Environments

Mori, S., Herling, J., Broll, W., Kawai, N., Saito, H., Schmalstieg, D. & Kalkofen, D., 2018, Adjunct Proceedings of the IEEE International Symposium for Mixed and Augmented Reality 2018.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

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 contributionResearchpeer-review

Open Access
File
Geometry

A Benchmark for Distance Measurements

Krispel, U., Fellner, D. W. & Ullrich, T., 2018, International Conference on Cyberworlds 2018. p. 120-125 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Distance measurement
Acoustic waves

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 contributionResearchpeer-review

A Concept for Consensus-based Ordering of Views

Jentner, W., Jäckle, D., Engelke, U., Keim, D. & Schreck, T., 2018, EuroVis Workshop on Visual Analytics. Eurographics Assoc., p. 61-65 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Open Access

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 contributionResearchpeer-review

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 contributionResearchpeer-review

Flow simulation
Advanced driver assistance systems
Sensors
Accidents
Brakes

A daily dose of DSL MDE micro injections in practice

Stieglbauer, G., Burghard, C., Sobernig, S. & Korošec, R., 1 Jan 2018, MODELSWARD 2018 - Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development. SciTePress 2013, Vol. 2018-January. p. 642-651 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

DSL
Industrial research

Adapting an open source social bookmarking system to observe critical information behaviour

Kopeinik, S., Eskandar, A., Ley, T., Albert, D. & Seitlinger, P. C., 2018, Learning and Education with Web Data (LILE 2018) - colocated with 10th ACM Conference on Web Science.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Adapting unit tests by generating combinatorial test data

Felbinger, H., Wotawa, F. & Nica, M., 16 Jul 2018, Proceedings - 2018 IEEE 11th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2018. Institute of Electrical and Electronics Engineers, p. 352-355 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Fault detection
Concretes
Testing

Adaptive System for Autonomous Driving

Wotawa, F. & Zimmermann, M., 9 Aug 2018, Proceedings - 2018 IEEE 18th International Conference on Software Quality, Reliability, and Security Companion, QRS-C 2018. Institute of Electrical and Electronics Engineers, p. 519-525 7 p. 8432021

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Adaptive systems
Availability
Sensors

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 contributionResearchpeer-review

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 contributionResearchpeer-review

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

Müller, M., 21 Nov 2018, 2018 IEEE Conference on Open Systems (ICOS). Langkawi, Malaysia: Institute of Electrical and Electronics Engineers, p. 1-6 6 p. 1

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

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 contributionResearchpeer-review

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, Vol. 1. p. 356-363

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

A Holistic Approach Towards Peer-to-Peer Security and Why Proof of Work Won’t Do

Prünster, B., Kollmann, C. P., Suzic, B. & Ziegler, D., 2018, Security and Privacy in Communication Networks. Beyah, R., Chang, B., Li, Y. & Zhu, S. (eds.). Cham: Springer International, p. 122-138 16 p. ( Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; vol. 255).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Peer to peer networks
Communication

​An Autonomous Vehicle for Parcel Delivery in Urban Areas

Buchegger, A., Lassnig, K., Loigge, S., Mühlbacher, C. & Steinbauer, G., 2018, 21st IEEE International Conference on Intelligent Transportation Systems. IEEE Xplore, p. 2961-2967

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

A New Approach to Visualise Accessibility Problems of Mobile Apps in Source Code

Feiner, J., Krainz, E. & Andrews, K., 21 Mar 2018, Proceedings of the 20th International Conference on Enterprise Information Systems (ICEIS 2018). SciTePress - Science and Technology Publications, Vol. 2. p. 519-526 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Smartphones
Application programs
Software engineering

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 contributionResearchpeer-review

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 contributionResearchpeer-review

A Note on Planar Monohedral Tilings

Aichholzer, O., Kerber, M., Talata, I. & Vogtenhuber, B., 2018, Proc. 34th European Workshop on Computational Geometry EuroCG '18. Berlin, Germany, p. 31:1-31:6

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

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 contributionResearchpeer-review

Open Access
File

Are Online Co-Adaptive Sensorimotor Rhythm Brain-Computer Interface Training Paradigms Effective?

Cunha, J. D. & Scherer, R., 2018, 2018 International Conference on Cyberworlds (CW). p. 419-422

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Arrangements of pseudocircles: Triangles and drawings

Felsner, S. & Scheucher, M., 1 Jan 2018, Graph Drawing and Network Visualization - 25th International Symposium, GD 2017, Revised Selected Papers. Springer Verlag Heidelberg, p. 127-139 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10692 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Triangle
Arrangement
Pairwise
Simple Closed Curve
Lower bound

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 contributionResearchpeer-review

Open Access
File
Electronic money

A study on user-controllable social exploratory search

di Sciascio, C., Brusilovsky, P. & Veas, E., 2018, 23rd International Conference on Intelligent User Interfaces, ACM IUI. p. 353-364 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Open Access
Hybrid systems
Transparency
Navigation
Information systems
Color

Automata Learning for Symbolic Execution

Aichernig, B., Bloem, R., Ebrahimi, M., Tappler, M. & Winter, J., 2018, 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018. Bjørner, N. & Gurfinkel, A. (eds.). IEEE CS, p. 130 - 138 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Testing

Automated acquisition and real-time rendering of spatially varying optical material behavior

Ritz, M., Santos, P. & Fellner, D., 12 Aug 2018, ACM SIGGRAPH 2018 Posters, SIGGRAPH 2018. Association of Computing Machinery, a33

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Optical materials
Geometry

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 contributionResearchpeer-review

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 contributionResearchpeer-review

Automated Identification of Type-Specific Dependencies between Requirements

Atas, M., Samer, R. & Felfernig, A., 2018, 2018 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2018, Santiago, Chile, December 3-6, 2018. p. 688-695 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Automated Measurement and Subtask Analysis of the Timed Upand- Go Test in the Field of Geriatrics

Andreas, Z., Peter, K., Robert, M. O. & Gunter, S., 26 Oct 2018, 40th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2018. Institute of Electrical and Electronics Engineers, Vol. 2018-July. p. 1526-1529 4 p. 8512464

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Geriatrics
Ultrasonics
Health
Equipment and Supplies
Monitoring

Being lazy at labelling for pose estimation

Poier, G., Schinagl, D. & Bischof, H., 2018, Proceedings of the OAGM Workshop 2018. Graz: Verlag der Technischen Universität Graz, p. 130

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Open Access

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 contributionResearchpeer-review

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 contributionResearchpeer-review

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 contributionResearchpeer-review

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 contributionResearchpeer-review

Bringing Nature into Our Lives

Barreiros, C., Veas, E. & Pammer, V., 2018, International Conference on Human-Computer Interaction. Springer Verlag, Vol. 10902. p. 99-109 11 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Open Access