Combinatorics and Codes for Information Security [SBA-K1]Automated ReasoningFormal MethodsRewriting-related Techniques and ApplicationsProject DescriptionA project within SBA-K1 at SBA Research, Vienna Project LeadTeimuraz KutsiaProject Duration01/01/2017 - 31/12/2020MembersTeimuraz KutsiaPublicationsAll2026 - 20242023 - 20212020 - 20182017 - 20152014 - 20122011 - 20092008 - 20062005 - 20032002 - 20001999 - 19971996 - 19941993 - 19911990 - 19881987 - 19851984 - 1965Advanced SearchRISC Report Series
