Doubly-efficient zkSNARKs without trusted setup Riad S. Wahby⋆ Ioanna Tzialla◦ abhi shelat†

Source URL: eprint.iacr.org

Fastly WAF Management Package QUICK VALUE PACK AGES Unleash the value of Fastly without tying up scarce IT resources

Source URL: www.fastly.com

• Firewall software
• Computing
• Computer security
• Cyberwarfare
• Computer network security
• Cybercrime
• Application firewall
• Web application firewall
• Fastly
• Firewall
• Waf
• Cyberattack

LMS-Verify Abstraction Without Regret for Verified Systems Programming Nada Amin & Tiark Rompf EPFL & Purdue University

Source URL: lampwww.epfl.ch

• Computing
• Software engineering
• Computer programming
• Parser generators
• Compiling tools
• Functional programming
• Parser combinator
• Parsing
• Lex
• Scala
• Apache HTTP Server

How to Learn Klingon Without a Dictionary: Detection and Measurement of Black Keywords Used by the Underground Economy Hao Yang1 , Xiulin Ma1 , Kun Du1 , Zhou Li2 , Haixin Duan1* , Xiaodong Su3 , Guang Liu3 , Zhifeng Gen

Source URL: www.ieee-security.org

• World Wide Web
• Digital marketing
• Internet search engines
• Search engine optimization
• Spamming
• HTML
• Meta element
• Google Search
• Reserved word
• Spamdexing
• Baidu
• AdWords

Delivering blockchain technology to transform the way the world does business Our vision is of a world where everyone can transact directly and privately without friction; a world where business partners operate in perfe

Source URL: www.r3.com

• Blockchains
• Cryptocurrencies
• Computing
• Concurrent computing
• Ethereum
• Distributed computing
• R3
• Cross-platform software
• CORDA
• Sam Lee
• Hyperledger

Cortical responses to dynamic emotional facial expressions generalize across stimuli, and are sensitive to task-relevance, in adults with and without Autism

Source URL: saxelab.mit.edu

CC(X): Efficiently Combining Equalities and Solvable Theories without Canonizers Sylvain Conchon, Evelyne Contejean and Johannes Kanig ProVal Project Universit´e Paris Sud / CNRS / INRIA

Source URL: www.lsi.upc.edu

• Differentiation rules
• Number theory
• Polynomials
• Lie algebras
• Smooth functions

54th Annual Conference of the Royal Musical Association University of Bristol, Department of Music – Programme overview without abstracts – Thursday, 13th September:30 am – 5:00 pm: Registration (Foyer)

Source URL: www.bristol.ac.uk

ROUGH DRAFT: Please do not cite without permission Why the Academy Needs Female Political Scientists: Examples from International Relations by Valerie M. Hudson

Source URL: www.saramitchell.org

• Feminism
• Feminist theory
• Feminism and society
• Culture
• Women's rights
• Gender
• Third-wave feminism
• International relations theory
• Cynthia Enloe
• Feminist psychology
• Feminist school of criminology

Full version of an extended abstract published in Proceedings of ACM CCS 2007, ACM Press, The Geometry of Innocent Flesh on the Bone: Return-into-libc without Function Calls (on the x86) Hovav Shacham∗ hovav@cs.

Source URL: hovav.net

• Computing
• Computer architecture
• Computer security
• Software bugs
• Machine code
• X86 architecture
• X86 instructions
• Return-oriented programming
• Stack buffer overflow
• PaX
• Shellcode
• Buffer overflow