On Wed, Apr 30, 2008 at 7:48 AM, Martin Albrecht <[EMAIL PROTECTED]> wrote: > > Hi, > > I don't know if that is of any interest but someone around here might care > about the fact that Sage was probably the most mentioned (and cited) > mathematics software at the "First Conference for Symbolic Computation and > Cryptography" (SCC 2008) in Beijing.
Amazing! > > Specifically, these authors/papers mentioned Sage: > > * Tobias Eibach and Gunnar Völkel: Optimising Gröbner Bases on Bivium (used > Sage to implement attack) > * Burçin Eröcal: SCrypt: Using Symbolic Computation to Bridge the Gap Between > Algebra and Cryptography (module for Sage) > * Ralf-Philipp Weinmann and Johannes Buchmann: Distributed Memory Computation > of Row-Reduced Echelon Forms over Finite Fields (benchmarked against Sage) > * Yours truly and Carlos Cid: Algebraic Techniques in Differential > Cryptanalysis (used Sage to implement attack) > > (... yes, I know that 3 out of 4 are Sage developers, but still ...) So is 2. Why isn't 1 a Sage developer? We want their code :-). By the way, what does "benchmarked against Sage" mean in RPW's talk? > Another thing:Two talks dealt with Braid group cryptography, namely: > > * Robert Gilman, Alex D. Miasnikov, Alexei G. Myasnikov and Alexander > Ushakov: > New Developments in Commutator Key Exchange > * Alex D. Myasnikov and Alexander Ushakov: Cryptanalysis of the > Anshel-Anshel-Goldfeld-Lemieux Key Agreement Protocol > > The group developed a C++ library CRAG: > > """ > The Cryptography And Groups (CRAG) Library provides an environment to test > cryptographic protocols constructed from non-commutative groups, for example > the braid group. The Library is written in C++ and provides an interface and > routines for computations. There are implementations of basic algebraic > objects like words, maps and subgroups. We plan to continually expand the > list of group-theoretic algorithms implemented in the library. In addition > the Library will contain classes and routines implementing non-classical > heuristic approaches and tools to perform statistical and exploratory > analysis of algebraic data. Together with the C++ source code CRAG contains > interface to Python scripting language. > """ > > http://www.acc.stevens.edu/downloads.php > > I don't know much about group theory but still I figured someone might find > it > interesting and is able to evaluate if it could be a good addition to Sage. > Very interesting --Thanks for pointing this out. William --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
