[Please note: the full article texts in the following are
posted merely as a convenience for the reader (and author!). In many cases,
I do not own the copyright, and even when I do, I remind visitors that there
are laws regarding the use (and Fair Use) of copyrighted materials. Please
read, quote, print out, and generally use in any way these materials only in
a manner consistent with relevent laws and general scholarly good taste.
In particular, when you wish to reprint large portions of any of these
articles, I believe you are obligated to ask permission of the copyright
owner. I would certainly appreciate it if you mention to me when you
quote and/or link to even short excerpts, whether or not it is an article
of which I remain the copyright owner. Thank you!]
Alternative computational devices and architectures. With
Giovanni Cherubini, Heike Riel and Gian Salis. 2003.
Unfortunately, this is an IBM Confidential
research report.
Full Design of Dependable Third Party Services. With
Christian Cachin (editor),
et al. Deliverable D5, Project
MAFTIA IST-1999-11583, 2001. (See below
for copyright information.)
First specification of APIs and protocols for the MAFTIA
middleware. With Nuno
Ferreira Neves and Paulo
Verissimo (editors), et al. Deliverable D24,
Project MAFTIA IST-1999-11583, 2001.
(See below for copyright information.)
Specification of dependable trusted third parties. With
Christian Cachin (editor),
et al. Deliverable D26, Project
MAFTIA IST-1999-11583, 2001. (See below
for copyright information.)
Finding geometry in classical number theory: the Chinese Remainder
Theorem, Kronecker's Theorem and wrapping lines around tori. Under
construction.
Perelman proves Poincaré. This is an expository paper on
the Poincaré and Geometrization Conjectures. The goal of the paper
is to lay out all of the definitions, as well as some related motivational
results and explanatory material, in a form which should be accessible to
an advanced undergraduate mathematics student (say who has had advanced
calculus and some linear and abstract algebra). The paper has been
submitted for publication.
Who?ogle: an associative interface to the web which preserves
individual and community privacy. In preparation, watch this space.
Hem-lines, web rankings and other correlates of the stock
market. In preparation, watch this space.
Ergodic theory and cryptography. In preparation, watch this space.
Universal Turing machines in other universes. In preparation,
watch this space.
Patents:
Method and device for verifying the security of a computing
platform, with
Matthias Schunter,
Els Van Herreweghen and
Michael Waidner,
US 7,770,000 B2, granted August 3, 2010. Here is the
patent summary page:
Attestation of computing platforms, with
Jan Camenisch and
Roger Zimmermann,
US Patent Application No. 12/439,236, Publication No. US 2009/0271618 A1,
filed July 3, 2007.
Method and system to authenticate an application in a computing
platform operating in Trusted Computing Group (TCG) domain, with
Bernhard Jansen, Luke
O'Connor,
Els Van Herreweghen,
US Patent Application No. 11/957,408, Publication No. US 2008/0288783 A1,
filed December 14, 2007.