Analogical Reasoning

This chapter from our book Legal Writing in Context aims to demystify analogical reasoning for law students

GOTCHA Password Hackers!

We introduce GOTCHAs (Generating panOptic Turing Tests to Tell Computers and Humans Apart) as a way of preventing automated offline dictionary attacks against user selected passwords. A GOTCHA is a randomized puzzle generation protocol, which involves interaction between a computer and a human. Informally, a GOTCHA should satisfy two key properties: (1) The puzzles are easy for the human to solve. (2) The puzzles are hard for a computer to solve even if it has the random bits used by the computer to generate the final puzzle --- unlike a CAPTCHA. Our main theorem demonstrates that GOTCHAs can be used to mitigate the threat of offline dictionary attacks against passwords by ensuring that a password cracker must receive constant feedback from a human being while mounting an attack. Finally, we provide a candidate construction of GOTCHAs based on Inkblot images. Our construction relies on the usability assumption that users can recognize the phrases that they originally used to describe each Inkblot image --- a much weaker usability assumption than previous password systems based on Inkblots which required users to recall their phrase exactly. We conduct a user study to evaluate the usability of our GOTCHA construction. We also generate a GOTCHA challenge where we encourage artificial intelligence and security researchers to try to crack several passwords protected with our scheme.Comment: 2013 ACM Workshop on Artificial Intelligence and Security (AISec

'They are all dead that i could ask': Indigenous Innovation and the Micropolitics of the Field in Twentieth-century Southern Africa

Recovering the agency, skill and innovation of archaeological field assistants from historical encounters is essential to interrogating processes of knowledge production, but is often hampered by access to appropriate archival sources and methods. We detail a field project from early twentieth-century Basutoland (modern-day Lesotho) that is unique both for its aim to salvage details of rock-art production as a dying craft and for its archive chronicling the project's intellectual journey from experiment to draft manuscripts to published work over more than three decades. We argue that critical historiographic attention to this archive offers a guide for examining the intimate dynamics of fieldwork and the effects of these micropolitics on the archaeological canon. We demonstrate how sustained attention to long processes of knowledge production can pinpoint multiple instances in which the usability of field assistants' scientific knowledge is qualified, validated, or rejected, and in this case how an African assistant is transformed into an ethnographic interlocutor. For rock-art studies especially, this represents a need for interrogating the epistemic cultures - not just the content - of foundational historical data

Lattice energy-momentum tensor with Symanzik improved actions

We define the energy-momentum tensor on lattice for the $\lambda \phi^4$ and for the nonlinear $\sigma$-model Symanzik tree-improved actions, using Ward identities or an explicit matching procedure. The resulting operators give the correct one loop scale anomaly, and in the case of the sigma model they can have applications in Monte Carlo simulations.Comment: Self extracting archive fil

Vacuum Polarization Effects in the Lorentz and PCT Violating Electrodynamics

In this work we report new results concerning the question of dynamical mass generation in the Lorentz and PCT violating quantum electrodynamics. A one loop calculation for the vacuum polarization tensor is presented. The electron propagator, "dressed" by a Lorentz breaking extra term in the fermion Lagrangian density, is approximated by its first order: this scheme is shown to break gauge invariance. Then we rather consider a full calculation to second order in the Lorentz breaking parameter: we recover gauge invariance and use the Schwinger-Dyson equation to discuss the full photon propagator. This allows a discussion on a possible photon mass shift as well as measurable, observable physical consequences, such as the Lamb-shift.Comment: Latex file, 19 pages, no figures, includes PACS number

Compact Einstein-Weyl four-dimensional manifolds

We look for four dimensional Einstein-Weyl spaces equipped with a regular Bianchi metric. Using the explicit 4-parameters expression of the distance obtained in a previous work for non-conformally-Einstein Einstein-Weyl structures, we show that only four 1-parameter families of regular metrics exist on orientable manifolds : they are all of Bianchi $IX$ type and conformally K\"ahler ; moreover, in agreement with general results, they have a positive definite conformal scalar curvature. In a Gauduchon's gauge, they are compact and we obtain their topological invariants. Finally, we compare our results to the general analyses of Madsen, Pedersen, Poon and Swann : our simpler parametrisation allows us to correct some of their assertions.Comment: Latex file, 13 pages, an important reference added and a critical discussion of its claims offered, others minor modification