Technical Report No. 526 Timing-Sensitive Information Flow Analysis for Synchronous Systems Boris K¨opf and David Basin Information Security ETH Zurich, Switzerland

Source URL: software.imdea.org

Technical Analysis of Pegasus Spyware An Investigation Into Highly Sophisticated Espionage Software Contents Executive Summary Background

Source URL: info.lookout.com

Delft University of Technology Software Engineering Research Group Technical Report Series A Constraint Language for Static Semantic Analysis Based on Scope Graphs

Source URL: swerl.tudelft.nl

Short Technical Reports CellProfiler™: free, versatile software for automated biological image analysis Michael R. Lamprecht1, David M. Sabatini1,2, and Anne E. Carpenter1 1Whitehead

Source URL: d1zymp9ayga15t.cloudfront.net

ARMY REQUIREMENTS FOR DIGITAL TOPOGRAPHIC DATA R.A. Herrraann US Army Engineer Topographic Laboratories Fort Belvoir, VAABSTRACT The Engineer Topographic Laboratories (ETL) recently completed a two

Source URL: mapcontext.com

• Software requirements
• Business analysis
• Requirements analysis
• Systems engineering
• Requirement
• Engineering
• Computing
• Markup languages
• Technical communication
• Systems science

Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (extended version) Technical report UW-CSEComputer Science & Engineering University of Washington

Source URL: homes.cs.washington.edu

• Software engineering
• Computing
• Computer programming
• Type theory
• Data types
• Object-oriented programming
• Concurrent programming languages
• Type system
• Scala
• Intent
• Type safety
• Java

Aachen Department of Computer Science Technical Report Automated Termination Analysis for Programs with Pointer Arithmetic

Source URL: sunsite.informatik.rwth-aachen.de

• Software
• Compilers
• LLVM

HADES (Haskins Analysis Display and Experiment System) Philip Rubin, Ph.D. Vice President for Technical Resources Research Staff

Source URL: www.haskins.yale.edu

• Software
• System software
• Software architecture
• Digital signal processing
• HADES
• Graphical user interfaces
• Speech synthesis
• User interface techniques
• Dialog box
• Widget
• Command-line interface
• Menu bar

USERGUIDE SESSION MAP TABLE OF CONTENTS

Source URL: www.jfdbrokers.com

• Economy
• Software
• Finance
• Financial markets
• Financial software
• Technical analysis software
• MetaTrader 4
• Add-on
• Session

Technical Report Nr. TUD-CSFeb. 5th, 2015 Harvesting Runtime Data in Android Applications for Identifying Malware and

Source URL: www.bodden.de

• Software engineering
• Computing
• Computer programming
• Cross-platform software
• Object-oriented programming languages
• Procedural programming languages
• Concurrent programming languages
• Program analysis
• Program slicing
• Android
• Java
• Subroutine