Hardening Java’s Access Control by Abolishing Implicit Privilege Elevation Philipp Holzinger∗ , Ben Hermann† , Johannes Lerch† , Eric Bodden‡ and Mira Mezini† ∗ Fraunhofer SIT, Email: philipp.holzinger@sit

Source URL: www.ieee-security.org

• Computing
• Software engineering
• Computer programming
• Programming languages
• High-level programming languages
• Concurrent programming languages
• Java platform
• Java
• Call stack
• Stack
• Java Class Library
• Go

DOC Document

Source URL: mail.swisschamperu.org

Moscow ML Language Overview Version 2.00 of June 2000 Sergei Romanenko, Russian Academy of Sciences, Moscow, Russia Claudio Russo, Cambridge University, Cambridge, United Kingdom Peter Sestoft, Royal Veterinary and Agric

Source URL: mosml.org

• Software engineering
• Computing
• Computer programming
• Procedural programming languages
• Functional languages
• Data types
• Standard ML
• Type theory
• Scope
• ML
• Variable
• Operator

Checking Cache-Coherence Protocols with TLA+ Rajeev Joshi HP Labs, Systems Research Center, Palo Alto, CA. Leslie Lamport Microsoft Research, Mountain View, CA.

Source URL: rjoshi.org

• Computing
• Computer architecture
• Concurrent computing
• Formal methods
• Theoretical computer science
• Cache coherency
• Instruction set architectures
• Concurrency
• TLA+
• Model checking
• Cache coherence
• Specification language

Improved Reduction from the Bounded Distance Decoding Problem to the Unique Shortest Vector Problem in Lattices Shi Bai1 , Damien Stehl´e1 and Weiqiang Wen1 1

Source URL: eprint.iacr.org

• Algebra
• Mathematics
• Cryptography
• Linear algebra
• Lattice-based cryptography
• Post-quantum cryptography
• Lattice points
• Computational hardness assumptions
• Lattice
• Euclidean vector
• Basis
• Crystal structure

Hijacking Bitcoin: Routing Attacks on Cryptocurrencies https://btc-hijack.ethz.ch Maria Apostolaki Aviv Zohar

Source URL: www.ieee-security.org

• Cryptocurrencies
• Computing
• Bitcoin
• Internet
• Free software
• Alternative currencies
• Blockchains
• Internet security
• BGP hijacking
• Mining pool
• Ghash.io
• Denial-of-service attack

HONG KONG INSTITUTE FOR MONETARY RESEARCH COMPUTER-BASED TRADING, INSTITUTIONAL INVESTORS AND TREASURY BOND RETURNS Xiaoquan Liu, Ingrid Lo, Minh Nguyen and Giorgio Valente

Source URL: www.hkimr.org

• Economy
• Finance
• Money
• Financial markets
• Mathematical finance
• Bond
• Beta
• Algorithmic trading
• Hedge fund
• Stock market
• Market liquidity

Inducing Domain-Specific Sentiment Lexicons from Unlabeled Corpora Abstract A word’s sentiment depends on the domain in which it is used. Computational social science research thus requires sentiment lexicons that

Source URL: arxiv.org

• Computational linguistics
• Linguistics
• Natural language processing
• Applied linguistics
• Semantics
• Computational science
• Artificial neural networks
• Speech recognition
• Sentiment analysis
• SemEval
• Word embedding
• Word-sense disambiguation

The Racket Reference Version 6.4 Matthew Flatt and PLT February 8, 2016

Source URL: download.racket-lang.org

• Computer programming
• Software engineering
• Computing
• Object-oriented programming languages
• Functional languages
• Data types
• Functional programming
• Scripting languages
• Racket
• Generator
• Macro
• Mutator method

Twelfth USA/Europe Air Traffic Management Research and Development Seminar (ATM2017) Topics and Trends in Incident Reports Using Structural Topic Modeling to Explore Aviation Safety Reporting System Data Kenneth D. Kuh

Source URL: www.atmseminarus.org

• Aviation safety
• Aviation
• Statistical natural language processing
• Transport
• Human behavior
• Aviation Safety Reporting System
• Aviation accidents and incidents
• Topic model
• Latent Dirichlet allocation
• Air traffic control
• Traffic collision avoidance system
• Airport