We stand with Ukraine

We stand with Ukraine

Andreas Ibing

Affiliations:

TU Munich, Chair of IT Security, Germany (PhD 2016)
TU Munich, Chair of Theoretical Information Technology, Germany (PhD 2011)

According to our database¹, Andreas Ibing authored at least 35 papers between 2007 and 2017.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

Online presence:

on sec.in.tum.de
on lti.ei.tum.de

On csauthors.net:

Bibliography

2017

Dynamic Symbolic Execution with Scalable Interpolation Based Path Merging.

[BibT_eX]

[DOI]

PhD thesis, 2017

2016

Efficient Data-Race Detection with Dynamic Symbolic Execution.

[BibT_eX]

[DOI]

Proceedings of the 2016 Federated Conference on Computer Science and Information Systems, 2016

Autocorrelation-Based Detection of Infinite Loops at Runtime.

[BibT_eX]

[DOI]

,

,

Proceedings of the 2016 IEEE 14th Intl Conf on Dependable, 2016

2015

Automated Generation of Buffer Overflow Quick Fixes Using Symbolic Execution and SMT.

[BibT_eX]

[DOI]

,

Vasantha Kommanapalli

,

,

Proceedings of the Computer Safety, Reliability, and Security, 2015

Automated Detection of Information Flow Vulnerabilities in UML State Charts and C Code.

[BibT_eX]

[DOI]

,

,

,

Proceedings of the 2015 IEEE International Conference on Software Quality, 2015

SMT-constrained symbolic execution engine for integer overflow detection in C code.

[BibT_eX]

[DOI]

,

Mustafizur Rahman

,

,

Proceedings of the 2015 Information Security for South Africa, 2015

A Fixed-Point Algorithm for Automated Static Detection of Infinite Loops.

[BibT_eX]

[DOI]

,

Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

Architecture description language based retargetable symbolic execution.

[BibT_eX]

[DOI]

Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

2014

Context-sensitive detection of information exposure bugs with symbolic execution.

[BibT_eX]

[DOI]

,

,

Proceedings of the International Workshop on Innovative Software Development Methodologies and Practices, 2014

Path-Sensitive Race Detection with Partial Order Reduced Symbolic Execution.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods, 2014

2013

Clustering Algorithms for Non-Profiled Single-Execution Attacks on Exponentiations.

[BibT_eX]

[DOI]

,

,

,

Fabrizio De Santis

,

IACR Cryptol. ePrint Arch., 2013

SMT-Constrained Symbolic Execution for Eclipse CDT/Codan.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods, 2013

Parallel SMT-Constrained Symbolic Execution for Eclipse CDT/Codan.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2013

On implementing trusted boot for embedded systems.

[BibT_eX]

[DOI]

,

,

Proceedings of the 2013 IEEE International Symposium on Hardware-Oriented Security and Trust, 2013

2012

On Side Channel Cryptanalysis and Sequential Decoding

[BibT_eX]

[DOI]

CoRR, 2012

A Secure Architecture for Smart Meter Systems.

[BibT_eX]

[DOI]

Daniel Angermeier

,

Konstantin Böttinger

,

,

Dieter Schuster

,

Frederic Stumpf

,

Proceedings of the Cyberspace Safety and Security - 4th International Symposium, 2012

2011

Search based software design for communication receivers.

[BibT_eX]

[DOI]

PhD thesis, 2011

On Channel Correlation Based Scheduling and Signalling for MIMO-OFDMA Downlink.

[BibT_eX]

[DOI]

,

,

Proceedings of the 73rd IEEE Vehicular Technology Conference, 2011

Automatic Joint Optimization of Iterative MIMO-OFDM Receiver Algorithms on a Meta Level.

[BibT_eX]

[DOI]

,

Proceedings of IEEE International Conference on Communications, 2011

2010

On Predicting Convergence of Iterative MIMO Detection-Decoding With Concatenated Codes.

[BibT_eX]

[DOI]

,

IEEE Trans. Veh. Technol., 2010

Reliability-based hybrid MMSE/subspace-max-log-APP MIMO detector.

[BibT_eX]

[DOI]

,

,

IEEE Commun. Lett., 2010

On Complexity-Reduced Implementation of Multi-Dimensional Wiener Interpolation Filtering.

[BibT_eX]

[DOI]

,

Proceedings of the 72nd IEEE Vehicular Technology Conference, 2010

Joint model for fine synchronization and adaptive LMMSE channel estimation in uplink OFDMA.

[BibT_eX]

[DOI]

,

,

Proceedings of the 2010 7th International Symposium on Wireless Communication Systems, 2010

2009

On network processor based protocol stack implementation for 4G base stations.

[BibT_eX]

[DOI]

Christopher Holmes

,

,

Proceedings of the 2009 Wireless Telecommunications Symposium, 2009

Performance Evaluation of a Low-Complexity LTE Base Station Receiver.

[BibT_eX]

[DOI]

,

Proceedings of the Multi-Carrier Systems & Solutions 2009, 2009

On the Relation of MIMO APP Detection and SIMO Maximum Ratio Combining.

[BibT_eX]

[DOI]

,

,

Proceedings of the Global Communications Conference, 2009. GLOBECOM 2009, Honolulu, Hawaii, USA, 30 November, 2009

2008

Fair OFDMA Scheduling Algorithm Using Iterative Local Search with k-opt-Switches.

[BibT_eX]

[DOI]

,

Proceedings of the WCNC 2008, IEEE Wireless Communications & Networking Conference, March 31 2008, 2008

Flexible demonstrator platform for cooperative joint transmission and detection in next generation wireless MIMO-OFDM networks.

[BibT_eX]

[DOI]

,

,

,

Clemens Von Helmolt

,

Volker Jungnickel

Proceedings of the 4th International Conference on Testbeds & Research Infrastructures for the DEvelopment of NeTworks & COMmunities (TRIDENTCOM 2008), 2008

A novel low-complexity algorithm for linear MMSE MIMO receivers.

[BibT_eX]

[DOI]

,

Proceedings of the Third International Symposium on Wireless Pervasive Computing, 2008

MMSE channel estimation and time synchronization tracking for cooperative MIMO-OFDM with propagation delay differences.

[BibT_eX]

[DOI]

,

Konstantinos Manolakis

Proceedings of the 2008 5th International Symposium on Wireless Communication Systems, 2008

Joint Transmission and Detection in Hexagonal Grid for 3GPP LTE.

[BibT_eX]

[DOI]

,

Volker Jungnickel

Proceedings of the 2008 International Conference on Information Networking, 2008

Performance Evaluation of a 3GPP LTE Terminal Receiver.

[BibT_eX]

[DOI]

Konstantinos Manolakis

,

,

Volker Jungnickel

Proceedings of the European Wireless 2008, 2008

12x12 MIMO-OFDM Realtime Implementation for 3GPP LTE+ on a Cell Processor.

[BibT_eX]

[DOI]

,

,

Volker Jungnickel

Proceedings of the European Wireless 2008, 2008

Scaleable network multicast for cooperative base stations.

[BibT_eX]

[DOI]

,

Yosia Hadisusanto

,

Volker Jungnickel

Proceedings of the Third International Conference on COMmunication System softWAre and MiddlewaRE (COMSWARE 2008), 2008

2007

On Hardware Implementation of Multiuser Multiplexing for SC-FDMA.

[BibT_eX]

[DOI]

,

Volker Jungnickel

Proceedings of the 66th IEEE Vehicular Technology Conference, 2007

Loading...