Cryptographic Function Detection in Obfuscated Binaries via Bit-precise Symbolic Loop Mapping Dongpeng Xu The Pennsylvania State University University Park, USA Email:

Source URL: www.ieee-security.org

• Computer programming
• Computing
• Mathematics
• Theoretical computer science
• Boolean algebra
• Error detection and correction
• Compiler construction
• Hash function
• Avalanche effect
• Optimizing compiler
• Recursion
• MD5

A Closed-loop quantitative verification of rate-adaptive pacemakers NICOLA PAOLETTI, University of Oxford, Department of Computer Science ANDREA PATANE` , University of Catania, Department of Mathematics and Computer Sci

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

• Mathematical analysis
• Mathematics
• Embedded systems
• Prosthetics
• Artificial cardiac pacemaker
• Cardiac electrophysiology
• Cybernetics
• Neuroprosthetics
• IP
• Analysis
• FO
• Dirac delta function

Integrating Planning and Recognition to Close the Interaction Loop Richard G. Freedman College of Information and Computer Sciences University of Massachusetts Amherst

Source URL: icaps16.icaps-conference.org

• Artificial intelligence
• Cognitive science
• Automated planning and scheduling
• Statistical natural language processing
• Hierarchical task network
• Activity recognition
• STRIPS
• Latent Dirichlet allocation
• Intelligence
• Action selection
• Topic model
• Robot

Cloak and Dagger: From Two Permissions to Complete Control of the UI Feedback Loop Yanick Fratantonio Chenxiong Qian, Simon P. Chung, Wenke Lee

Source URL: www.ieee-security.org

• Computing
• Android
• Computer architecture
• System software
• Smartphones
• Social engineering
• IOS
• Mach
• Google Play
• Clickjacking
• Yo
• Mobile security

Static Detection of Loop-Invariant Data Structures Guoqing Xu1 , Dacong Yan2 , and Atanas Rountev2 1 2 University of California, Irvine, CA, USA

Source URL: dacongy.github.io

• Software engineering
• Computer programming
• Programming language theory
• Compiler optimizations
• Control flow
• Loop optimization
• Heap
• Optimizing compiler
• Foreach loop

Conformally Invariant Loop Measures Gregory F. Lawler∗ March 3, 2018 Abstract There have been incredible progress in the last twenty years in the rigorous analysis of planar statistical

Source URL: eta.impa.br

• Statistical randomness
• Stochastic processes
• Complex analysis
• Statistical mechanics
• Lvy processes
• SchrammLoewner evolution
• Loop-erased random walk
• Conformal loop ensemble
• Brownian motion
• Gaussian free field
• Random walk
• Wiener process

LoopInvGen: Data-Driven Loop Invariant Inference using Learned Features SyGuS-COMPSaswat Padhi

Source URL: www.react.uni-saarland.de

• Formal methods
• I0
• Loop invariant

    Deborah L. Estrin Cornell Tech 2 West Loop Road New York, New York 10044

Source URL: destrin.smalldata.io

Closed-loop quantitative verification of rate-adaptive pacemakers Marta Kwiatkowska1, Nicola Paoletti2, Andrea Patanè1 1) University of Oxford (UK); 2) Stony Brook University (USA) Closed-loop model

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

• Cardiac electrophysiology
• Medicine
• Physiology
• Circulatory system
• Artificial cardiac pacemaker
• QT interval
• Electrocardiography
• Heart arrhythmia
• Cardiac pacemaker
• Atrioventricular block
• Pacing

Microsoft PowerPoint - Effective Control Loop Optimization.ppt [Read-Only] [Compatibility Mode]

Source URL: www.opticontrols.com