michaelbanks's analysis [51 articles] Export

Recent papers added to michaelbanks's library classified by the tag analysis. You can also see everyone's analysis.

	Prêt à Voter: a Systems Perspective [My Copy] (September 2005) by Peter Y. A. Ryan, Thea Peacock posted to voting system security analysis 2005 by michaelbanks on 2009-11-24 17:03:35 as
	Automatic Discovery and Quantification of Information Leaks [My Copy] Security and Privacy, IEEE Symposium on In 30th IEEE Symposium on Security and Privacy, Vol. 0 (2009), pp. 141-153. by Michael Backes, Boris Köpf, Andrey Rybalchenko posted to verification quantification information-flow automatic analysis 2009 by michaelbanks on 2009-09-26 10:45:53 as
	Universally Composable Security: A New Paradigm for Cryptographic Protocols [My Copy] (22 Dec 2000) by Ran Canetti posted to security protocol framework cryptography composition analysis 2000 by michaelbanks on 2009-09-16 13:57:31 as along with 1 person bjoerntm
	Security Analysis with Deviational Techniques [My Copy] No. YCST-2005-12. (April 2005) by Thitima Srivatanakul posted to security requirements hazop analysis 2005 by michaelbanks on 2009-08-26 16:34:00 as
	Enabling verification and conformance testing for access control model [My Copy] In SACMAT '08: Proceedings of the 13th ACM symposium on Access control models and technologies (2008), pp. 195-204. by Hongxin Hu, Gail-Joon Ahn posted to role-based-access-control verification testing security sat-solver rcl2000 management framework conformance automatic assurance analysis alloy access-control 2008 by michaelbanks on 2009-08-26 10:18:16 as
	A logic for information flow analysis with an application to forward slicing of simple imperative programs [My Copy] Science of Computer Programming In Special issue on the 11th Static Analysis Symposium - SAS 2004, Vol. 64, No. 1. (01 January 2007), pp. 3-28. by Torben Amtoft, Anindya Banerjee posted to static-analysis semantics information-flow hoare-logic denotational analysis 2007 by michaelbanks on 2009-08-16 15:54:53 as along with 1 person basvanvlijmen
	Automated Analysis of Java Methods for Confidentiality [My Copy] Computer Aided Verification In Computer Aided Verification, Vol. 5643 (2009), pp. 173-187. by Pavol Černý, Rajeev Alur posted to 2009 analysis confidentiality java model-checking program security by michaelbanks on 2009-07-08 12:16:20 as
	Building in... Information Security, Privacy and Assurance - A high-level roadmap [My Copy] (2009) by Nigel A. Jones posted to 2009 analysis assurance privacy security by michaelbanks on 2009-06-12 09:38:50 as
	A type-based approach to program security [My Copy] TAPSOFT '97: Theory and Practice of Software Development In TAPSOFT '97: Theory and Practice of Software Development, Vol. 1214 (1997), pp. 607-621. by Dennis Volpano, Geoffrey Smith edited by Michel Bidoit, Max Dauchet posted to type-system security noninterference language information-flow analysis 1997 by michaelbanks on 2009-06-09 18:06:15 as
	Specifying Information-Flow controls [My Copy] 25th IEEE International Conference on Distributed Computing Systems Workshops In 25th IEEE International Conference on Distributed Computing Systems Workshops (2005), pp. 114-120. by Howard Chivers, Jeremy L. Jacob posted to 2005 analysis information-flow risk by michaelbanks on 2009-05-06 13:06:10 as
	The Unreasonable Effectiveness of Data [My Copy] IEEE Intelligent Systems In IEEE Intelligent Systems, Vol. 24, No. 2. (24 March 2009), pp. 8-12. by Alon Halevy, Peter Norvig, Fernando Pereira posted to 2009 algorithm analysis complexity data language natural by michaelbanks on 2009-03-26 17:23:37 as along with 20 people and 4 groups fgibson eddymier architect cisevol bertelsen maplover pool007 Yanno druvus dsha laurobeltrao cmencar copyculture VGreiff ingo dullhunk jago robertlischke spl germoglio Journal picks BergmanLab Convention on Knowledge Commons Integrative Expertise for Global Health
	Relations between secrets: two formal analyses of the Yahalom protocol [My Copy] Journal of Computer Security, Vol. 9, No. 3. (2001), pp. 197-216. by Lawrence C. Paulson posted to 2001 analysis induction protocol security type-flaw verification yahalom by michaelbanks on 2009-03-26 13:03:33 as
	New Analysis of BAN-Yahalom Protocol by Strand Spaces and its Improvement [My Copy] International Conference on Wireless Communications, Networking and Mobile Computing (WiCom 2007) In International Conference on Wireless Communications, Networking and Mobile Computing (WiCom 2007) (2007), pp. 1829-1832. by Yu Han, Hengshan Lv posted to 2007 analysis ban strand-space type-flaw yahalom by michaelbanks on 2009-03-26 12:51:37 as
	Cryptographic Protocol Composition via the Authentication Tests [My Copy] (6 Oct 2008) by Joshua D. Guttman posted to 2008 analysis authentication composition model protocol security strand-space by michaelbanks on 2009-03-25 13:08:23 as
	Variations on the Themes of Message Freshness and Replay or, the Difficulty in Devising Formal Methods to Analyze Cryptographic Protocols [My Copy] 6th IEEE Computer Security Foundations Workshop (CSFW '93) In 6th IEEE Computer Security Foundations Workshop (CSFW '93) (1993), pp. 131-136. by Li Gong posted to 1993 analysis attack formal freshness methods protocol replay security by michaelbanks on 2009-02-24 11:57:12 as
	The topology of covert conflict [My Copy] No. UCAM-CL-TR-637. (0 July 2005) by Shishir Nagaraja, Ross Anderson posted to analysis attack game-theory network scale-free topology by michaelbanks on 2009-02-18 10:00:24 as along with 4 people ansobol jrw scis0000001 dquercia
	Principles of Program Analysis [My Copy] (07 December 2004) by Flemming Nielson, Hanne R. Nielson, Chris Hankin posted to type-system semantics program data control-flow analysis abstract-interpretation 2005 by michaelbanks on 2009-02-14 11:29:49 as along with 6 people dimvar streetlightios yoriyuki marcinzalewski andymaule srccheck
	Abstract Interpretation [My Copy] by Patrick Cousot posted to 2008 abstract-interpretation analysis logic proof refinement by michaelbanks on 2009-02-13 19:52:03 as
	Tagging Makes Secrecy Decidable with Unbounded Nonces as Well [My Copy] FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science (2003), pp. 363-374. by R. Ramanujam, S. P. Suresh posted to 2003 analysis decidability nonce protocol security tagging verification by michaelbanks on 2009-02-08 18:33:26 as
	Formalizing and Analyzing the Needham-Schroeder Symmetric-Key Protocol by Rewriting [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 135, No. 1. (05 July 2005), pp. 95-114. by Monica Nesi, Giuseppina Rucci posted to 2005 analysis needham-schroeder protocol rewrite security by michaelbanks on 2009-01-27 19:45:34 as
	An On-the-Fly Model-Checker for Security Protocol Analysis [My Copy] Computer Security – ESORICS 2003, Vol. 2808 (2003), pp. 253-270. by David Basin, Sebastian Mödersheim, Luca Viganò posted to 2003 analysis attack model-checking ofmc protocol replay security type-flaw spore-library by michaelbanks on 2009-01-21 16:09:15 as
	Security analysis and improvement of Yahalom protocol [My Copy] Industrial Electronics and Applications, 2008. ICIEA 2008. 3rd IEEE Conference on In Industrial Electronics and Applications, 2008. ICIEA 2008. 3rd IEEE Conference on (2008), pp. 1137-1140. by Li Chen, Mingxia Shi posted to 2008 analysis attack logic protocol svo yahalom by michaelbanks on 2009-01-21 15:52:02 as
	Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols [My Copy] 2nd International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX '07) In 2nd International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX '07) (2007), pp. 153-160. by M. Cheminod, Cibrario, L. Durante, R. Sisto, A. Valenzano posted to 2007 analysis casper comparison fdr model-checking protocol s3a security tool by michaelbanks on 2009-01-20 15:39:14 as
	Analyzing the Needham-Schroeder public key protocol: A comparison of two approaches [My Copy] Computer Security — ESORICS 96, Vol. 1146 (1996), pp. 351-364. by Catherine Meadows posted to 1996 analysis comparison fdr needham-schroeder protocol security type-flaw by michaelbanks on 2009-01-20 10:16:13 as
	Maude versus Haskell: an Experimental Comparison in Security Protocol Analysis [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 36 (2000), pp. 235-256. by David Basin, Grit Denker posted to 2000 analysis comparison haskell maude protocol security by michaelbanks on 2009-01-19 10:27:15 as
	Security Issues in Process Calculi [My Copy] No. TD-2/00. (March 2000) by Chiara Bodei posted to spi-calculus semantics security process-algebra pi-calculus control-flow analysis 2000 by michaelbanks on 2009-01-16 14:39:12 as
	A Practical Approach to Identifying Storage and Timing Channels: Twenty Years Later [My Copy] Proceedings of the 18th Annual Computer Security Applications Conference In Proceedings of the 18th Annual Computer Security Applications Conference (2002), pp. 109-118. by Richard A. Kemmerer posted to 2002 analysis channels covert resource-allocation security storage survey time by michaelbanks on 2008-12-19 14:00:06 as
	Shared Resource Matrix Methodology: An Approach to Identifying Storage and Timing Channels [My Copy] ACM Transactions in Computer Systems, Vol. 1, No. 3. (1983), pp. 256-277. by Richard A. Kemmerer posted to 1983 analysis channels covert resource-allocation security storage time by michaelbanks on 2008-12-19 13:57:16 as along with 1 person nikitaborisov
	Analysis Models for Security Protocols [My Copy] (2006) by Ricardo Corin posted to 2006 analysis attack constraint-solving dolev-yao guessing model pi-calculus protocol security by michaelbanks on 2008-12-15 14:46:16 as
	Constraint Solving for Bounded-Process Cryptographic Protocol Analysis [My Copy] In CCS '01: Proceedings of the 8th ACM conference on Computer and Communications Security (2001), pp. 166-175. by Jonathan Millen, Vitaly Shmatikov posted to 1999 analysis capsl constraint-solving prolog protocol security by michaelbanks on 2008-12-10 12:19:24 as
	Using Logics to Detect Implementation-Dependent Flaws [My Copy] 9th Annual Computer Security Applications Conference In 9th Annual Computer Security Applications Conference (1993), pp. 64-73. by Ulf Carlsen posted to 1993 analysis ckt5 logic protocol security type-flaw neuman-stubblebine by michaelbanks on 2008-12-10 11:58:09 as
	A Formal Analysis of Complex Type Flaw Attacks on Security Protocols [My Copy] No. TR-08-03. (10 March 2008) by Han Gao, Chiara Bodei, Pierpaolo Degano posted to type-flaw security protocol lysa formal control-flow analysis 2008 by michaelbanks on 2008-12-05 13:52:26 as
	Knowledge Flow Analysis for Security Protocols [My Copy] (24 May 2006) by Emina Torlak, Marten van Dijk, Blaise Gassend, Daniel Jackson, Srinivas Devadas posted to 2006 alloy analysis flow knowledge protocol security type-flaw by michaelbanks on 2008-12-04 16:09:42 as
	Automatic Detection of Attacks on Cryptographic Protocols: A Case Study [My Copy] Intrusion and Malware Detection and Vulnerability Assessment In Intrusion and Malware Detection and Vulnerability Assessment, Vol. 3548 (2005), pp. 69-84. by Ivan Cibrario, Luca Durante, Riccardo Sisto, Adriano Valenzano posted to 2005 analysis attack automatic equivalence protocol s3a security spi-calculus tool trace type-flaw yahalom by michaelbanks on 2008-12-02 14:16:56 as
	Detecting and Preventing Type Flaws: a Control Flow Analysis with Tags [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 194, No. 1. (08 November 2007), pp. 3-22. by Chiara Bodei, Pierpaolo Degano, Han Gao, Linda Brodo posted to type-flaw tagging lysa control-flow analysis 2007 by michaelbanks on 2008-12-02 12:17:47 as
	Type-checking zero-knowledge [My Copy] In CCS '08: Proceedings of the 15th ACM Conference on Computer and Communications Security (2008), pp. 357-370. by Michael Backes, Cǎtǎlin Hritcu, Matteo Maffei posted to 2008 analysis proof protocol security type-checking zero-knowledge by michaelbanks on 2008-11-19 19:04:11 as along with 1 person msakai
	A Sound Type System for Secure Flow Analysis [My Copy] Journal of Computer Security, Vol. 4, No. 2-3. (1996), pp. 167-187. by Dennis Volpano, Cynthia Irvine, Geoffrey Smith posted to type-system security noninterference language information-flow analysis 1996 by michaelbanks on 2008-11-19 12:58:55 as along with 1 person ddemange
	An eigen analysis of the GP community [My Copy] Genetic Programming and Evolvable Machines, Vol. 9, No. 3. (2008), pp. 171-182. by W. Langdon, R. Poli, W. Banzhaf posted to 2008 analysis community eigen statistics genetic-programming by michaelbanks on 2008-10-31 12:30:18 as
	The Logic of Authentication Protocols [My Copy] In Foundations of Security Analysis and Design, Vol. 2171 (2001), pp. 63-137. by Paul Syverson, Iliano Cervesato posted to 2001 analysis authentication ban logic protocol svo by michaelbanks on 2008-10-29 17:50:25 as
	Athena: a new efficient automatic checker for security protocol analysis [My Copy] In 12th IEEE Computer Security Foundations Workshop (CSFW '99) (1999), pp. 192-202. by Dawn Song posted to 1999 analysis athena model model-checking protocol security strand-space by michaelbanks on 2008-10-29 17:50:24 as
	Toward Synthesis, Analysis; and Certification of Security Protocols -- Position Paper [My Copy] No. 20040084560. (2004) by Johann Schumann posted to 2004 analysis certification security synthesis protocol by michaelbanks on 2008-10-29 17:50:24 as
	The Modelling and Analysis of Security Protocols: the CSP Approach [My Copy] (2001) by Peter Ryan, Steve A. Schneider posted to 2001 analysis book casper csp fdr model protocol security textbook yahalom by michaelbanks on 2008-10-29 17:50:23 as
	Formal Methods for Cryptographic Protocol Analysis: Emerging Issues and Trends [My Copy] IEEE Journal on Selected Areas in Communications, Vol. 21, No. 1. (January 2003) by Catherine Meadows posted to 2003 analysis formal-methods protocol security by michaelbanks on 2008-10-29 17:50:22 as
	Casper: A Compiler for the Analysis of Security Protocols [My Copy] Journal of Computer Security, Vol. 6, No. 1-2. (1998), pp. 53-84. by Gavin Lowe posted to 1998 analysis casper security protocol by michaelbanks on 2008-10-29 17:50:21 as
	Software Abstractions: Logic, Language, and Analysis [My Copy] (2006) by Daniel Jackson posted to 2006 abstraction alloy analysis book language logic software textbook by michaelbanks on 2008-10-29 17:50:20 as
	Security Protocol Deployment Risk [My Copy] In Security Protocols: 16th International Workshop (2008) by Simon N. Foley, Giampaolo Bella, Stefano Bistarelli posted to 2008 analysis security verification protocol by michaelbanks on 2008-10-29 17:50:19 as
	Certification of Programs for Secure Information Flow [My Copy] Communications of the ACM, Vol. 20, No. 7. (1977), pp. 504-513. by Dorothy E. Denning, Peter J. Denning posted to semantics security program information-flow confinement certification analysis 1977 by michaelbanks on 2008-10-29 17:50:18 as
	Formal Analysis of Multiparty Contract Signing [My Copy] Journal of Automated Reasoning, Vol. 36, No. 1. (January 2006), pp. 39-83. by Rohit Chadha, Steve Kremer, Andre Scedrov posted to 2006 analysis attack contract formal logic security signing temporal tool protocol multi-agent by michaelbanks on 2008-10-29 17:50:17 as
	A Logic of Authentication [My Copy] No. 39. (February 1989) by Michael Burrows, Martín Abadi, Roger Needham posted to 1989 analysis andrew-secure-rpc authentication ban belief kerberos logic needham-schroeder otway-rees protocol security wide-mouthed-frog x509 yahalom by michaelbanks on 2008-10-29 17:50:17 as
	Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets [My Copy] In Applications and Theory of Petri Nets, Vol. 5062 (2008), pp. 72-91. by Roland Bouroulet, Raymond Devillers, Hanna Klaudel, Elisabeth Pelz, Franck Pommereau posted to 2008 analysis framework model security specification verification protocol by michaelbanks on 2008-10-29 17:50:17 as

Note: You may cite this page as: http://www.citeulike.org/user/michaelbanks/tag/analysis

Result page: 1 2 Next

security	352
protocol	146
book	99
refinement	95
information-flow	91
specification	88
formal-methods	86
verification	79
2008	75
model	65
2006	64
2009	59
proof	59
attack	58
property	58
analysis	51
csp	51
noninterference	50
2007	49
formal	48
2005	48
logic	45
language	45
system	44
survey	42
2003	41
semantics	39
1996	38
z	37
confidentiality	36
software	35
programming	35
textbook	35
type-flaw	33
process-algebra	33
composition	32
2001	31
program	31
framework	30
policy	30
theory	29
1995	29
model-checking	29
tool	28
authentication	27
2000	27
introduction	27
software-engineering	26
2002	26
1990	26
automatic	26
mathematics	25
1997	25
1994	25
2004	24
cryptography	24
1992	23
1999	23
1998	22
concurrency	21
trace	19
probabilistic	19
access-control	18
1987	18
development	18
safety	18
bell-lapadula	18
1993	17
distributed	17
theorem-proving	17
circus	16
unwinding	16
commercial	16
algebraic	15
needham-schroeder	15
possibilistic	15
design	15
utp	14
refinement-calculus	14
criticism	14
key	13
liveness	13
integrity	13
information	13
testing	13
alloy	12
hacking	12
1989	12
1988	12
data	12
search	12
requirements	11
case-study	11
multi-level	11
ban	11
engineering	11
nondeterministic	11
bisimulation	11
preserving	11
java	11
fdr	11
maks	11
yahalom	10
1991	10
correctness	10
ccs	10
haskell	10
synthesis	10
event-b	10
type-system	9
nondeducibility	9
public	9
availability	9
reasoning	9
channels	9
anonymity	9
strand-space	9
category-theory	9
hoare-logic	9
1981	9
belief	8
temporal	8
1985	8
comparison	8
constraint-solving	8
spi-calculus	8
privacy	8
simulation	8
operational	8
dolev-yao	8
verified-software-repository	8
heuristic	8
b-method	8
opinion	8
knowledge	8
guidance	7
automata	7
separability	7
tagging	7
static-analysis	7
1978	7
kernel	7
covert	7
compiler	7
1977	7
functional-programming	7
neuman-stubblebine	7
1984	7
1986	7
rodin	6
denotational	6
tutorial	6
communication	6
replay	6
executable	6
action	6
transformation	6
history	6
roundtable	6
operating-system	6
object-z	6
type-checking	6
generalised	5
1976	5
isabelle	5
otway-rees	5
stepwise	5
expressiveness	5
precondition	5
paradox	5
optimisation	5
decidability	5
structure	5
pi-calculus	5
multi-agent	5
grand-challenge	5
transitive	5
role-based-access-control	5
philosophy	5
uml	5
abstraction	5
1983	5
mondex	5
noninference	5
control-flow	5
file-system	5
coq	5
svo	5
predicate-transformer	5
standard	5
key-establishment	5
lattice	5
derivation	5
management	5
jif	5
state-machine	4
general	4
selective-interleaving	4
1972	4
game-theory	4
quantitative	4
1982	4
gdoi	4
z-eves	4
biba	4
weakest	4
economics	4
tla	4
casper	4
stairs	4
validation	4
posix	4
review	4
guarded	4
distribution	4
network	4
definition	4
equivalence	4
reliability	4
architecture	4
cipher-block-chaining	4
failures	4
web-services	4
object-oriented	4
deterministic	4
labelled-transition-system	4
spa	4
hol	4
axiomatic	4
model-driven	4
vdm	4
1980	4
induction	4
time	4
confinement	4
resource-allocation	4
implementation	4
artificial-intelligence	3
capacity	3
social-processes	3
predicate-calculus	3
declassification	3
relational	3
methods	3
larch	3
reconfigurable	3
principles	3
perfect	3
mechanised	3
advocacy	3
1969	3
window	3
athena	3
divergences	3
galois-connection	3
predicate	3
no-silver-bullet	3
lysa	3
linking	3
unifying	3
chinese-wall	3
event	3
rewrite	3
trust	3
ponder	3
risk	3
password	3
computer	3
command	3
recursion	3
voting	3
godel	3
genetic-algorithm	3
1975	3
raise	3
set-theory	3
inference-control	3
chaos-report	3
ada	3
decomposition	3
usability	3
internet	3
accountability	3
flow	3
simulated-annealing	3
abstract-interpretation	3
1979	3
certification	3
denial-of-service	3
kerberos	3
flaw	3
hyperproperty	2
s3a	2
evaluation	2
system-z	2
representation	2
1973	2
1971	2
obligation	2
prolog	2
adaptation	2
shadow-semantics	2
dining-cryptographers	2
possible-worlds	2
eiffel	2
timestamp	2
real-time	2
tokeneer	2
kao-chow	2
dynamic	2
quantification	2
separation-logic	2
mobile	2
lambda-calculus	2
relation	2
separation-of-concerns	2
records	2
non-functional	2
virus	2
spore-library	2
focus	2
scyther	2
avispa	2
hypervisor	2
closure	2
xen-hypervisor	2
safety-critical	2
research	2
andrew-secure-rpc	2
incident-insensitive	2
floating-point	2
translation	2
spi2java	2
parser	2
xenon	2
mix	2
spark	2
retrieve-relation	2
indistinguishable	2
nonce	2
storage	2
guidelines	2
ckt5	2
state-based	2
animation	2
computability	2
ibm-cics	2
writing	2
pointers	2
woo-lam	2
theorem	2
assurance	2
hru	2
clark-wilson	2
sequential	2
limitations	2
ignorance	2
practical	2
database	2
genetic-programming	2
diagram	2
discretionary-access-control	2
efficient	2
finalisation	2
sat-solver	2
reference	2
memory	2
turing-award	2
guessing	2
contract	2
teaching	2
dictionary	2
mandatory-access-control	2
project	2
algorithm	2
separation-of-duty	2
1974	2
csp-oz	2
pattern-matching	2
extraction	2
statistics	2
authenticity	2
emergence	2
capsl	2
functionality	2
operators	2
fm	2
algorithms	2
2010	2
hardware	2
complexity	2
topology	2
indistinguishability-classes	2
restrictiveness	2
multics	2
swift	2
natural	2
separation	2
aggregation	1
publishing	1
timing-channels	1
manifesto	1
zero-knowledge	1
non-repudiation	1
1967	1
monte-carlo	1
common-criteria	1
jcsp	1
interation	1
denning-sacco	1
collaborative	1
synchronisation	1
invariant	1
high-assurance	1
finger-tree	1
art	1
anonymization	1
numbers	1
ordering	1
problem-frame	1
vulnerabilities	1
backtracking	1
conformance	1
bndc	1
computer-science	1
pingpong	1
x509	1
virtual	1
quality	1
ucon	1
curry-howard	1
intel	1
fixed-point	1
rcl2000	1
side-channel	1
one-time-pad	1
draft	1
praxis	1
continuous	1
deterrent	1
1962	1
music	1
kiv	1
smart-card	1
exception-handling	1
sharing	1
unix	1
backwards	1
petri-nets	1
mu-calculus	1
scam	1
spin	1
b-toolkit	1
declarative	1
extreme-programming	1
apg	1
usage	1
strategy	1
perfect-security-property	1
lecture-notes	1
domain	1
classes	1
paraconsistent	1
independence	1
guru	1
human-factors	1
chosen-name	1
exercises	1
conflict-of-interest	1
xor	1
modularity	1
interface	1
retrospective	1
aspect-oriented	1
forwards	1
punishment	1
agent	1
cscw	1
maude	1
algebra	1
seaview	1
tls	1
transition-axiom	1
self-reference	1
secpal	1
aegis	1
forward-correctability	1
control-law	1
bpp	1
cellphone	1
group	1
ensured-entropy	1
design-by-contract	1
procedure	1
lecture	1
information-theory	1
game	1
schema	1
doxastic	1
environment	1

michaelbanks's analysis [51 articles] Export

michaelbanks's tags