Seminari

Oltre alla lista dei prossimi seminari puoi consultare anche il programma completo dei seminari 2010

Prossimi:

Arithmetic of Supersingular Koblitz Curves in Characteristic Three

Speaker:
Prof. Roberto Avanzi (Bochum, Germany)
Quando:
25/03/2010 - 11:00
Dove:
AULA 311, Dipartimento di Matematica dell'Università Roma Tre - Largo San Leonardo Murialdo, 1
Abstract

Roberto Avanzi (Bochum, Germany)
joint work with Clemens Heuberger (Graz, Austria)
and Helmut Prodinger (Stellenbosch, South Africa)

We consider digital expansions of scalars for supersingular Koblitz curves in characteristic three. These are expansions of integers to the algebraic base of $ \tau $, where $ \tau $ is a zero of a polynomial $ \tau^2 \pm 3 \tau+3 $. The obvious application of these expansions is to scalar multiplication on Koblitz curves.

A simple connection between $ \tau $-adic expansions and balanced ternary representations is given.

Windowed non-adjacent representations are considered whereby the digits are elements of minimal norm. We exploit the rotational symmetry of the digit set to reduce the memory requirements of scalar multiplication by a factor of six with respect to previous methods. Furthermore, we give an explicit description of the elements of the digit set, allowing for a very simple and efficient precomputation strategy.

Additionally, we explicitly describe the action of some endomorphisms on the Koblitz curve as a scalar multiplication by an explicitly given integer.


Passati:
SpeakerTitoloQuando
Gabriele PulciniAlcune osservazioni sulle nozioni di verità e indecidibilità19/03/2010 - 11:30
Lorenzo Tortora de FalcoSulla iniettività della semantica relazionale in MELL, 219/02/2010 - 11:30
Daniel De CarvalhoSulla iniettività della semantica relazionale in MELL, 129/01/2010 - 11:30
Giulio GuerrieriSemantica relazionale e tempo di calcolo, in logica lineare moltiplicativa22/01/2010 - 12:15
Andrei DormanLinear Logic by asymmetric levels22/01/2010 - 11:30
Michele AbrusciPrime considerazioni su “LOGICOMIX: an epic search for truth”15/01/2010 - 11:30
Thomas EhrhardIl modello di Scott della Logica Lineare è il collasso estensionale del modello relazionale30/10/2009 - 11:00
V.Michele AbrusciI principali teoremi sulla logica: un bilancio e alcune prospettive03/07/2009 - 17:00
Gabriele Pulcini (ENS Parigi)Alcuni aspetti logici del teorema di classificazione per le superfici topologiche (Massey)22/05/2009 - 14:00
Claudia Casadio (Università di Chieti), M. Teresa Medaglia e Camillo Porcaro (Aston University, Birmingham)Le proposizioni "positive" e "negative" nel ragionamento: uno studio elettroencefalografico21/05/2009 - 16:00
Jean-Baptiste Joinet (Philosophie, Paris 1 Panthéon-Sorbonne)La logica contemporanea e lo statuto della metafisica aristotelica: alcune considerazioni15/05/2009 - 16:00
Mattia PetroloSull'unità della logica classica15/05/2009 - 11:00
Antonio MoscaUna rilettura logica d'alcuni problemi di metodo in linguistica e in scienze sociali08/05/2009 - 11:00
Giulia FrezzaLa dinamica del vivente17/04/2009 - 11:00
Michele PaganiRicostruire una rete di prova dal suo sviluppo di Taylor03/04/2009 - 11:00
Damiano MazzaSemantica denotazionale per la logica lineare a livelli27/03/2009 - 11:00
Roberto MaieliCostruzione concorrente di reti di prova e sistemi transazionali20/03/2009 - 11:00
Mario PiazzaLogica, cognizione e dimostrazioni visive06/03/2009 - 14:00
Marco PediciniAlgebre di von Neumann, shift registers e complessità27/02/2009 - 14:00
Lorenzo Tortora de FalcoUna misura semantica del tempo di esecuzione in logica lineare13/02/2009 - 14:00
Stefano GuerriniJumping boxes30/01/2009 - 14:00
Teresa NumericoLa logica dopo le macchine: Turing, Gödel, Von Neumann e gli altri23/01/2009 - 14:00
Marco RomanoRicerca sui contributi della Logica Lineare e dei suoi sviluppi al Semantic Web09/01/2009 - 10:00
Michele AbrusciLa logica e il quadrato aristotelico degli opposti05/12/2008 - 17:00
Paul RuetDynamique discrète et structure des réseaux génétiques12/10/2007 - 10:00
Michele PAGANI Between interaction and semantics: visible acyclic nets21/09/2007 - 08:00
Daniel de CarvalhoTBA09/07/2007 - 13:00
Paolo Di Giamberardino Jump from Parallel to Sequential Proofs: Additives19/04/2007 - 16:00
Thomas Ehrhard (joint work with Olivier Laurent)Pi-calculus in differential interaction nets16/04/2007 - 13:30

In archivio: Programma dei Seminari 2008 - 2009