Perversion for Profit

Strub, Whitney

doi:10.7312/stru14886

Cited by 20 publications

(2 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Although the implementation of EasyCrypt does not have a proper foundational backend per se, many rules of its probabilistic relational Hoare logic (pRHL) were proved sound with respect to a model in Coq [62], parts of which have been merged into mathcomp-analysis [3]. Our own development relies on these very same definitions and lemmas for the probabilistic aspect of the relational specification monads and the underlying theory of couplings.…”

Section: Comparing Approaches To Semantic Modelsmentioning

confidence: 99%

SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq

Abate

Haselwarter

Rivas

et al. 2021

2021 IEEE 34th Computer Security Foundations Symposium (CSF)

View full text Add to dashboard Cite

State-separating proofs (SSP) is a recent methodology for structuring game-based cryptographic proofs in a modular way. While very promising, this methodology was previously not fully formalized and came with little tool support. We address this by introducing SSProve, the first general verification framework for machine-checked state-separating proofs. SSProve combines high-level modular proofs about composed protocols, as proposed in SSP, with a probabilistic relational program logic for formalizing the lower-level details, which together enable constructing fully machine-checked cryptographic proofs in the Coq proof assistant. Moreover, SSProve is itself formalized in Coq, including the algebraic laws of SSP, the soundness of the program logic, and the connection between these two verification styles. To illustrate the formal SSP methodology we prove security of ElGamal and PRF-based encryption. We also validate the SSProve approach by conducting two extended case studies. First, we formalize a security proof of the KEM-DEM public key encryption scheme. Second, we formalize security of the sigma-protocol zero-knowledge construction and the associated construction of commitment schemes. We then instantiate the proof and give concrete security bounds for Schnorr's protocol.

show abstract

Section: Comparing Approaches To Semantic Modelsmentioning

confidence: 99%

SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq

Abate

Haselwarter

Rivas

et al. 2021

2021 IEEE 34th Computer Security Foundations Symposium (CSF)

View full text Add to dashboard Cite

show abstract

“…But such diff erences were sometimes overstated, especially by feminists who felt the need to distance themselves politically from religious conservatives. 33 Conservative and moderate women, meanwhile, joined the feministrun Women Against Pornography in considerable numbers. Like the activists against drunk driving, many members were concerned mothers.…”

Section: T He P Rice Of L Iberalismmentioning

confidence: 99%

Fighting Liberalism’s Excesses: Moral Crusades During the Reagan Revolution

Shields

2013

J. Policy Hist.

View full text Add to dashboard Cite

Blocked Access: When Pornographers Take Offence

Paasonen

2019

Media and the Politics of Offence

View full text Add to dashboard Cite

Pornographers are traditionally assumed to cause, rather than take to offence, yet porn video aggregator sites, production studios and individual professionals alike have recently engaged in protests against proposed work safety regulation, internet policy and legislative measures connected to sexual equality, especially so in the United States. In many instances, this has involved porn companies protecting their own financial interests whereas the economic rationale has remained less lucid in others. Focusing on moments of pornographers acting out in protest, this chapter examines the political economy of offence connected to contemporary pornography.More specifically, this chapter explores how porn companies, and video aggregator sites in particular, make use of social media visibility to articulate their case, how their forms of protest function as PR, as well as how the shift of porn distribution to online platforms has changed the political stakes that all this involves. I first briefly contextualise the politics of offence connected to pornography before moving on to recent examples of two major video aggregator sites, xHamster and Pornhub, blocking user access as a form of protest, and inquire after the political and economic stakes that such seemingly paradoxical moves involve. This is followed by a discussion of xHamster's and Pornhub's sexual health and social responsibility campaigns as brand building activities in the framework of social media.Pornography occupies an uneasy position within this economy as content that is deemed inappropriate and undesirable in terms of targeted advertising around which the flows of

show abstract

Perversion for Profit

Cited by 20 publications

References 0 publications

SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq

SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq

Fighting Liberalism’s Excesses: Moral Crusades During the Reagan Revolution

Blocked Access: When Pornographers Take Offence

Contact Info

Product

Resources

About