Rabbit: A New High-Performance Stream Cipher. - Martin Boesgaard; Mette Vesterager; Thomas Pedersen; Jesper Christiansen; Ove Scavenius (FSE, 2003)

Periodic Properties of Counter Assisted Stream Ciphers. - Ove Scavenius; Martin Boesgaard; Thomas Pedersen; Jesper Christiansen; Vincent Rijmen (CT-RSA, 2004)

The Rabbit Stream Cipher - Design and Security Analysis. - Martin Boesgaard; Thomas Pedersen; Mette Vesterager; Erik Zenner (IACR Cryptol. ePrint Arch., 2004)

Badger - A Fast and Provably Secure MAC. - Martin Boesgaard; Ove Scavenius; Thomas Pedersen; Thomas Christensen; Erik Zenner (IACR Cryptol. ePrint Arch., 2004)

On the Key-Uncertainty of Quantum Ciphers and the Computational Security of One-way Quantum Transmission. - Ivan Damgård; Thomas Pedersen; Louis Salvail (IACR Cryptol. ePrint Arch., 2004)

Practical and Secure Integer Comparison and Interval Check. - Ahmet Erhan Nergiz; Mehmet Ercan Nergiz; Thomas Pedersen; Chris Clifton (SocialCom/PASSAT, 2010)

Intra-project transfer of knowledge in information systems development firms. - Jan Terje Karlsen; Line Hagman; Thomas Pedersen (J. Syst. Inf. Technol., 2011)

A Look-Ahead Approach to Secure Multiparty Protocols. - Mehmet Ercan Nergiz; A. Ercüment Çiçek; Thomas Pedersen; Yücel Saygin (IEEE Trans. Knowl. Data Eng., 2012)

A Toolchain for Home Automation Controller Development. - Peter H. Dalsgaard; Thibaut Le Guilly; Daniel Middelhede; Petur Olsen; Thomas Pedersen; Anders P. Ravn; Arne Skou (EUROMICRO-SEAA, 2013)

INTrEPID: A project on energy optimization in buildings. - Thomas Pedersen; Anders P. Ravn; Arne Skou (VITAE, 2014)

Model Checking Feature Interactions. - Thibaut Le Guilly; Petur Olsen; Thomas Pedersen; Anders P. Ravn; Arne Skou (ICSOFT (Selected Papers), 2015)

A Method for Model Checking Feature Interactions. - Thomas Pedersen; Thibaut Le Guilly; Anders P. Ravn; Arne Skou (ICSOFT-EA, 2015)

To Do and Not to Do: Constrained Scenarios for Safe Smart House. - Thibaut Le Guilly; Jacob H. Smedegård; Thomas Pedersen; Arne Skou (Intelligent Environments, 2015)

Toolchain for user-centered intelligent floor heating control. - Mads Kronborg Agesen; Kim Guldstrand Larsen; Marius Mikucionis; Marco Muñiz; Petur Olsen; Thomas Pedersen; Jirí Srba; Arne Skou (IECON, 2016)

User constraints for reliable user-defined smart home scenarios. - Thibaut Le Guilly; Michael Nielsen 003; Thomas Pedersen; Arne Skou; Jesper Kjeldskov; Mikael B. Skov (J. Reliab. Intell. Environ., 2016)

Reengineering the lifecycle of Arrowhead applications: from skeletons to the client library. - Thomas Pedersen; Michele Albano; Brian Nielsen (IECON, 2019)

Improvements in Unfolding of Colored Petri Nets. - Alexander Bilgram; Peter Gjøl Jensen; Thomas Pedersen; Jirí Srba; Jakob Haahr Taankvist (RP, 2021)

Methods for Efficient Unfolding of Colored Petri Nets. - Alexander Bilgram; Peter Gjøl Jensen; Thomas Pedersen; Jirí Srba; Peter Haahr Taankvist (Fundam. Informaticae, 2022)