Bunder, Martin

Research Areas

0101 - PURE MATHEMATICS

Available as Research Supervisor

Selected Publications

Journal Article

Year	Title
2021	An exact formula for the harmonic continued fraction Published In Bulletin of the Australian Mathematical Society
2019	On the harmonic continued fractions Published In The Ramanujan Journal: an international journal devoted to areas of mathematics influenced by Ramanu
2018	Cryptanalysis of RSA-type cryptosystems based on Lucas sequences, Gaussian integers and elliptic curves Published In Journal of Information Security and Applications
2017	A generalized attack on RSA type cryptosystems Published In Theoretical Computer Science
2017	A new attack on the RSA cryptosystem based on continued fractions Published In Malaysian Journal of Mathematical Sciences
2017	Closed form expressions for two harmonic continued fractions Published In Mathematical Gazette
2016	A new attack on three variants of the RSA cryptosystem Published In Lecture Notes in Computer Science
2014	Products and powers, and exponentiations Published In The Fibonacci Quarterly
2014	Unique representations of integers using increasing sequences Published In Journal of Number Theory
2012	Child's addition in the Stern - Bocot tree Published In European Journal of Combinatorics
2012	Horadam functions and powers of irrationals Published In The Fibonacci Quarterly
2011	Self-matching bands in the paperfolding sequence Published In Applicable Analysis and Discrete Mathematics
2010	Convergence of the Sequence b, ab, aab,... Published In Far East Journal of Mathematical Education
2010	Linking the Calkin-Wilf and Stern-Brocot trees Published In European Journal of Combinatorics
2010	Locating terms in the Stern-Brocot tree Published In European Journal of Combinatorics
2010	Mirroring and interleaving in the paperfolding sequence Published In Applicable Analysis and Discrete Mathematics
2010	The D-completeness of T-> Published In The Australasian Journal of Logic
2010	The probability of an out of control signal from Nelson's supplementary zig-zag test Published In Journal of Statistical Theory and Practice
2009	Proof-finding algorithms for classical and subclassical propositional logics Published In Notre Dame Journal of Formal Logic
2008	Are there Hilbert-style pure type systems? Published In Logical Methods in Computer Science
2008	On binary reflected Gray codes and functions Published In Discrete Mathematics
2008	Some rough consequence logics and their interrelations
1989	On adding (¿) to weak equality in combinatory logic Published In Journal of Symbolic Logic
1988	Arithmetic based on the Church numerals in illative combinatory logic Published In Studia Logica
1987	Some consistency proofs and a characterization of inconsistency proofs in illative combinatory logic Published In Journal of Symbolic Logic
1987	Some generalizations to two systems of set theory based on combinatory logic Published In Archiv für Mathematische Logik und Grundlagenforschung
1985	An extension of Klop's counterexample to the Church-Rosser property to ¿-calculus with other ordered pair combinators Published In Theoretical Computer Science
1985	Possible forms of evaluation or reduction in Martin-Löf type theory Published In Theoretical Computer Science
1984	Category theory based on combinatory logic Published In Archiv für Mathematische Logik und Grundlagenforschung
1984	Some definitions of negation leading to paraconsistent logics Published In Studia Logica
1984	Some problems and inadequacies in the van der Poel-Schaapvan der Mey theory of combinators Published In Indagationes Mathematicae (Proceedings)
1983	A one axiom set theory based on higher order predicate calculus Published In Archiv für Mathematische Logik und Grundlagenforschung
1983	A weak absolute consistency proof for some systems of illative combinatory logic Published In Journal of Symbolic Logic
1983	Predicate calculus of arbitrarily high finite order Published In Archiv für Mathematische Logik und Grundlagenforschung
1983	Set theory in predicate calculus with equality Published In Archiv für Mathematische Logik und Grundlagenforschung
1982	Deduction theorems for weak implicational logics Published In Studia Logica
1981	Predicate calculus and naive set theory in pure combinatory logic Published In Archiv für Mathematische Logik und Grundlagenforschung
1976	Commutative non-associative number theory Published In Proceedings of the Edinburgh Mathematical Society
1976	The inconsistency of Published In Journal of Symbolic Logic

Chapter

Year	Title
1980	The Consistency of A Higher Order Predicate Calculus and Set Theory Based on Combinatory Logic11The author wishes to thank Professor J.P. Seldin for his helpful criticism of various parts of this work at various stages. Published In Mathematical Logic in Latin America, Proceedings of the IV Latin American Symposium on Mathematical Logic

Conference Paper

Year	Title
2016	A new attack on three variants of the RSA cryptosystem Published In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2016	A new improved attack on RSA Published In Proceedings of the 5th International Cryptology and Information Security Conference
2008	The inhabitation problem for intersection types Published In Computing: The Australasian Theory Symposium
2005	Introducing N-Tree-Space: A Classification System for Knowledge Library Applications
2005	Security Analysis of Michael: The IEEE 802.11i Message Integrity Code Published In International Conference on Embedded and Ubiquitous Computing

Research Areas

0101 - PURE MATHEMATICS

Selected Publications

Journal Article

Year	Title
2021	An exact formula for the harmonic continued fraction Published In Bulletin of the Australian Mathematical Society
2019	On the harmonic continued fractions Published In The Ramanujan Journal: an international journal devoted to areas of mathematics influenced by Ramanu
2018	Cryptanalysis of RSA-type cryptosystems based on Lucas sequences, Gaussian integers and elliptic curves Published In Journal of Information Security and Applications
2017	A generalized attack on RSA type cryptosystems Published In Theoretical Computer Science
2017	A new attack on the RSA cryptosystem based on continued fractions Published In Malaysian Journal of Mathematical Sciences
2017	Closed form expressions for two harmonic continued fractions Published In Mathematical Gazette
2016	A new attack on three variants of the RSA cryptosystem Published In Lecture Notes in Computer Science
2014	Products and powers, and exponentiations Published In The Fibonacci Quarterly
2014	Unique representations of integers using increasing sequences Published In Journal of Number Theory
2012	Child's addition in the Stern - Bocot tree Published In European Journal of Combinatorics
2012	Horadam functions and powers of irrationals Published In The Fibonacci Quarterly
2011	Self-matching bands in the paperfolding sequence Published In Applicable Analysis and Discrete Mathematics
2010	Convergence of the Sequence b, ab, aab,... Published In Far East Journal of Mathematical Education
2010	Linking the Calkin-Wilf and Stern-Brocot trees Published In European Journal of Combinatorics
2010	Locating terms in the Stern-Brocot tree Published In European Journal of Combinatorics
2010	Mirroring and interleaving in the paperfolding sequence Published In Applicable Analysis and Discrete Mathematics
2010	The D-completeness of T-> Published In The Australasian Journal of Logic
2010	The probability of an out of control signal from Nelson's supplementary zig-zag test Published In Journal of Statistical Theory and Practice
2009	Proof-finding algorithms for classical and subclassical propositional logics Published In Notre Dame Journal of Formal Logic
2008	Are there Hilbert-style pure type systems? Published In Logical Methods in Computer Science
2008	On binary reflected Gray codes and functions Published In Discrete Mathematics
2008	Some rough consequence logics and their interrelations
1989	On adding (¿) to weak equality in combinatory logic Published In Journal of Symbolic Logic
1988	Arithmetic based on the Church numerals in illative combinatory logic Published In Studia Logica
1987	Some consistency proofs and a characterization of inconsistency proofs in illative combinatory logic Published In Journal of Symbolic Logic
1987	Some generalizations to two systems of set theory based on combinatory logic Published In Archiv für Mathematische Logik und Grundlagenforschung
1985	An extension of Klop's counterexample to the Church-Rosser property to ¿-calculus with other ordered pair combinators Published In Theoretical Computer Science
1985	Possible forms of evaluation or reduction in Martin-Löf type theory Published In Theoretical Computer Science
1984	Category theory based on combinatory logic Published In Archiv für Mathematische Logik und Grundlagenforschung
1984	Some definitions of negation leading to paraconsistent logics Published In Studia Logica
1984	Some problems and inadequacies in the van der Poel-Schaapvan der Mey theory of combinators Published In Indagationes Mathematicae (Proceedings)
1983	A one axiom set theory based on higher order predicate calculus Published In Archiv für Mathematische Logik und Grundlagenforschung
1983	A weak absolute consistency proof for some systems of illative combinatory logic Published In Journal of Symbolic Logic
1983	Predicate calculus of arbitrarily high finite order Published In Archiv für Mathematische Logik und Grundlagenforschung
1983	Set theory in predicate calculus with equality Published In Archiv für Mathematische Logik und Grundlagenforschung
1982	Deduction theorems for weak implicational logics Published In Studia Logica
1981	Predicate calculus and naive set theory in pure combinatory logic Published In Archiv für Mathematische Logik und Grundlagenforschung
1976	Commutative non-associative number theory Published In Proceedings of the Edinburgh Mathematical Society
1976	The inconsistency of Published In Journal of Symbolic Logic

Chapter

Year	Title
1980	The Consistency of A Higher Order Predicate Calculus and Set Theory Based on Combinatory Logic11The author wishes to thank Professor J.P. Seldin for his helpful criticism of various parts of this work at various stages. Published In Mathematical Logic in Latin America, Proceedings of the IV Latin American Symposium on Mathematical Logic

Conference Paper

Year	Title
2016	A new attack on three variants of the RSA cryptosystem Published In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2016	A new improved attack on RSA Published In Proceedings of the 5th International Cryptology and Information Security Conference
2008	The inhabitation problem for intersection types Published In Computing: The Australasian Theory Symposium
2005	Introducing N-Tree-Space: A Classification System for Knowledge Library Applications
2005	Security Analysis of Michael: The IEEE 802.11i Message Integrity Code Published In International Conference on Embedded and Ubiquitous Computing

Bunder, Martin Prof

Faculty Member

Overview

Research Areas

Available as Research Supervisor

Publications

Selected Publications

Journal Article

Chapter

Conference Paper

Overview

Research Areas

Publications

Selected Publications

Journal Article

Chapter

Conference Paper

Visualisations

Research Areas