MIX

Known as: MIXAL, MIXAL programming language 
MIX is a hypothetical computer used in Donald Knuth's monograph, The Art of Computer Programming (TAOCP). MIX's model number is 1009, which was… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1972-2017
0102019722017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2007
2007
We introduce a methodology to formally verify MIX programs. It consists in annotating a MIX program with logical annotations and… (More)
  • figure 1
  • figure 2
  • figure 4
Is this relevant?
2006
2006
  • Graham C. Hurley, Brian D. Prowell
  • 2006
DISCLAIMER The contents of this report reflect the views of the authors who are responsible for the facts and accuracy of the… (More)
  • figure 1
  • figure 2
  • table 1
  • table 2
  • table 3
Is this relevant?
Highly Cited
2002
Highly Cited
2002
We describe a MIX cascade protocol and a reputation system that together increase the reliability of a network of MIX cascades… (More)
Is this relevant?
2002
2002
Web-based information systems provide to their users the ability to interleave querying and browsing during their information… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
2001
Highly Cited
2001
We describe a design for a reputation system that increases the reliability and thus efficiency of remailer services. Our… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2000
Highly Cited
2000
We present the architecture, design issues and functions of a MIX-based system for anonymous and unobservable real-time Internet… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2000
Highly Cited
2000
There are different methods to build an anonymity service using MIXes. A substantial decision for doing so is the method of… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2000
2000
A MIX net takes a list of ciphertexts (c1; ; cN) and outputs a permuted list of the plaintexts (m1; ; mN) without revealing the… (More)
Is this relevant?
Highly Cited
1999
Highly Cited
1999
The MIX mediator system, MIX<italic>m</italic>, is developed as part of the MIX Project at the San Diego Supercomputer Center… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
1998
Highly Cited
1998
Currently known basic anonymity techniques depend on identity veri cation. If veri cation of user identities is not possible due… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • figure 4
Is this relevant?