Economy Class Crypto: Exploring Weak Cipher Usage in Avionic Communications via ACARS Matthew Smith1 , Daniel Moser2 , Martin Strohmeier1 , Vincent Lenders3 , and Ivan Martinovic1 1

Source URL: www.lenders.ch

• Aircraft instruments
• Aviation
• Avionics
• Technology
• Electronics
• ACARS
• ARINC
• VHF Data Link
• SATCOM
• Data link
• Pilot report
• Flight plan

When Your Fitness Tracker Betrays You: Quantifying the Predictability of Biometric Features Across Contexts Simon Eberz∗ , Giulio Lovisotto∗ , Andrea Patan`e∗ , Marta Kwiatkowska∗ , Vincent Lenders† and Ivan Ma

Source URL: qav.comlab.ox.ac.uk

• Security engineering
• Biometrics
• Cryptography
• Prevention
• Surveillance
• Security
• Identification
• Authentication
• Facial recognition system
• Password
• Computer security
• Replay attack

OpenSky Report 2018: Assessing the Integrity of Crowdsourced Mode S and ADS-B Data Matthias Sch¨afer¶‡∗ , Martin Strohmeier¶† , Matthew Smith¶† , Markus Fuchs¶‡ , Vincent Lenders¶§ , Ivan Martinovic¶†

Source URL: www.lenders.ch

• Electronics
• Radio
• Telecommunications engineering
• Air traffic control
• Avionics
• OpenSky Network
• Radar
• Automatic dependent surveillance broadcast
• Wireless
• Flightradar24
• Global Positioning System
• Data integrity

The Real First Class? Inferring Confidential Corporate Mergers and Government Relations from Air Traffic Communication Martin Strohmeier∗ , Matthew Smith∗ , Vincent Lenders† , Ivan Martinovic∗ ∗ University of

Source URL: www.lenders.ch

• Aviation
• Human behavior
• Transport
• Air traffic control
• Terms of service
• Automatic dependent surveillance broadcast
• Avionics
• FlightAware
• OpenSky Network
• Internet privacy
• Flightradar24
• Aircraft spotting

Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–222) ON GROTHENDIECK–SERRE CONJECTURE CONCERNING PRINCIPAL BUNDLES Ivan Panin

Source URL: eta.impa.br

• Abstract algebra
• Algebra
• Geometry
• Algebraic geometry
• Linear algebraic group
• Scheme
• Reductive group
• Cohomology
• Principal homogeneous space
• Affine variety
• Group action
• Morphism of schemes

Functional Reactive Programming, Refactored Ivan Perez Manuel B¨arenz Henrik Nilsson

Source URL: www.cs.nott.ac.uk

• Functional programming
• Software engineering
• Computer programming
• Computing
• Monad
• Arrow
• Functional reactive programming
• Strong monad
• Type class
• Combinatory logic
• Pure function

Declarative Game Programming Distilled Tutorial Henrik Nilsson Ivan Perez

Source URL: www.cs.nott.ac.uk

• Software engineering
• Declarative programming
• Computing
• Functional programming
• Programming paradigms
• Evaluation strategy
• Functional reactive programming
• Digital signal processing
• Formal methods
• Arrow
• International Conference on Functional Programming
• Signal

Generalized Wiener Indices of Zigzagging Pentachains Ivan Gutman Faculty of Science University of Kragujevac P. O. Box 60, 34000 Kragujevac Serbia and Montenegro

Source URL: precision.moscito.org

• Graph theory
• Mathematics
• Discrete mathematics
• Cheminformatics
• Mathematical chemistry
• Wiener index
• Ear decomposition
• Graph
• Degree
• Graph operations
• Wiener connector
• Line graph

When Your Fitness Tracker Betrays You: Quantifying the Predictability of Biometric Features Across Contexts Simon Eberz∗ , Giulio Lovisotto∗ , Andrea Patan`e∗ , Marta Kwiatkowska∗ , Vincent Lenders† and Ivan Ma

Source URL: www.lenders.ch

• Security engineering
• Biometrics
• Cryptography
• Prevention
• Surveillance
• Security
• Identification
• Authentication
• Facial recognition system
• Password
• Computer security
• Replay attack

OpenSky Report 2017: Mode S and ADS-B Usage of Military and other State Aircraft Matthias Sch¨afer∗ , Martin Strohmeier† , Matthew Smith† , Markus Fuchs‡ , Vincent Lenders§ , Marc Liechti¶ , Ivan Martinovic†

Source URL: www.lenders.ch